Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Fix valid-path function.

  • Loading branch information...
commit 6239ea0e3aa24625e2e2896448e0cbdfad49a514 1 parent 2b98ded
@bloat authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  src/maze/logic/attempt3.clj
View
2  src/maze/logic/attempt3.clj
@@ -19,7 +19,7 @@
(fresh [t1]
(path-in-maze [?h0 ?h1] mz)
(conso ?h1 ?t t1)
- (vp t1 mz))))
+ (valid-path t1 mz))))
(defne no-back-track [p]
([[]])
Please sign in to comment.
Something went wrong with that request. Please try again.