From a2de78431250c94b205a7bccb6e75d5db7e02fc0 Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Mon, 8 Jun 2015 17:19:32 -0700
Subject: [PATCH] backtrack: rename generically named require

---
 extra/backtrack/backtrack.factor | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/extra/backtrack/backtrack.factor b/extra/backtrack/backtrack.factor
index 27c40b637f..2b4c771c93 100644
--- a/extra/backtrack/backtrack.factor
+++ b/extra/backtrack/backtrack.factor
@@ -15,7 +15,7 @@ M: amb-failure summary drop "Backtracking failure" ;
 : fail ( -- )
     failure get [ continue ] [ amb-failure ] if* ;
 
-: require ( ? -- )
+: must-be-true ( ? -- )
     [ fail ] unless ;
 
 MACRO: checkpoint ( quot -- quot' )
@@ -66,7 +66,7 @@ MACRO: amb-execute ( seq -- quot )
 : if-amb ( true false -- ? )
     [
         [ { t f } amb ]
-        [ '[ @ require t ] ]
+        [ '[ @ must-be-true t ] ]
         [ '[ @ f ] ]
         tri* if
     ] amb-preserve ; inline