clean up call clause stuff.

diff --git a/src/prolog/ast.rs b/src/prolog/ast.rs
index 62e507f82bfa2f06cf8f1e797954570d78633021..d8385283b6d591d9cfbfb6dd7bf386493a1ee279 100644 (file)
--- a/src/prolog/ast.rs
+++ b/src/prolog/ast.rs
@@ -1196,8 +1196,8 @@ pub enum BuiltInInstruction {
     CleanUpBlock,
     CompareNumber(CompareNumberQT, ArithmeticTerm, ArithmeticTerm),
     DefaultRetryMeElse(usize),
-    DefaultTrustMe,
     DefaultSetCutPoint(RegType),
+    DefaultTrustMe,    
     EraseBall,
     Fail,
     GetArg(bool), // last call.

diff --git a/src/prolog/builtins.rs b/src/prolog/builtins.rs
index 9484a786bde59d4fdc7c82d9cff0e8f0e0cf4254..1d5b80a207d742e93763e6e86c6ade70e1e00f01 100644 (file)
--- a/src/prolog/builtins.rs
+++ b/src/prolog/builtins.rs
@@ -536,7 +536,7 @@ fn get_builtins() -> Code {
                 put_value!(perm_v!(2), 3),
                 put_value!(perm_v!(5), 4),
                 put_value!(perm_v!(1), 5)],
-         goto_call!(404, 5), // goto call_with_inference_limit/4, 404.
+         goto_call!(404, 5), // goto call_with_inference_limit/5, 404.
          query![put_value!(perm_v!(1), 1)],
          deallocate!(),
          remove_call_policy_check!(),

diff --git a/src/prolog/io.rs b/src/prolog/io.rs
index c7f28b9726a740912b83608d1c96aff9b8a709db..66c6cf136c86ffc2d95e80e0087a6d8da45a3b43 100644 (file)
--- a/src/prolog/io.rs
+++ b/src/prolog/io.rs
@@ -161,10 +161,10 @@ impl fmt::Display for BuiltInInstruction {
                 write!(f, "clean_up_block"),
             &BuiltInInstruction::CompareNumber(cmp, ref at_1, ref at_2) =>
                 write!(f, "number_test {}, {}, {} ", cmp, at_1, at_2),
+            &BuiltInInstruction::DefaultRetryMeElse(o) =>
+                write!(f, "default_retry_me_else {}", o),            
             &BuiltInInstruction::DefaultSetCutPoint(r) =>
                 write!(f, "default_set_cp {}", r),
-            &BuiltInInstruction::DefaultRetryMeElse(o) =>
-                write!(f, "default_retry_me_else {}", o),
             &BuiltInInstruction::DefaultTrustMe =>
                 write!(f, "default_trust_me"),
             &BuiltInInstruction::InstallInferenceCounter(r1, r2, r3) =>