Merge pull request #1 from cwebber/readme-import-fix

Minor fix to the load path example in README.org
ijp · Apr 22, 2015 · e844d85 · e844d85
2 parents 10d5077 + cb984d1
commit e844d85
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.org b/README.org
@@ -31,7 +31,7 @@ need to them import with
 #+begin_src scheme
 (import (minikanren mk)
         (minikanren mkextraforms)
-        (minikanren prelude))
+        (minikanren mkprelude))
 #+end_src
 
 rather than with