Remove redundant and confusing definition

Closes #58
matijapretnar · Jul 30, 2018 · 4c6bc57 · 4c6bc57
1 parent 64437c4
commit 4c6bc57
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/docs/try/examples/nondeterminism.eff b/docs/try/examples/nondeterminism.eff
@@ -138,10 +138,6 @@ let rec place x qs =
   let y = choose (available x qs) in
   place (x + 1) ((x, y) :: qs)
 
-let backtrack = handler
-| effect Decide k ->
-    handle continue k true with
-    | effect Fail _ -> k false
 ;;
 
 with backtrack handle