***************
*** 8,13 ****
    (provide (all-from "dracula-core.scm"))
  
    (require "defstructure.scm") (provide (all-from "defstructure.scm"))
    
    (require (file "primitive-procedures/acl2-prims.scm")) 
    (provide (all-from (file "primitive-procedures/acl2-prims.scm")))
--- 8,14 ----
    (provide (all-from "dracula-core.scm"))
  
    (require "defstructure.scm") (provide (all-from "defstructure.scm"))
+   (require "deflist.scm") (provide (all-from "deflist.scm"))
    
    (require (file "primitive-procedures/acl2-prims.scm")) 
    (provide (all-from (file "primitive-procedures/acl2-prims.scm")))