From 896914b8e9790596c611822c2cddbdac09d865f7 Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 17 Feb 2019 11:51:24 -0700
Subject: [PATCH] do not count calls to $reify_switch as inferences

---
 src/prolog/lib/reif.pl | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/prolog/lib/reif.pl b/src/prolog/lib/reif.pl
index dc7a68a0..ad12fcc6 100644
--- a/src/prolog/lib/reif.pl
+++ b/src/prolog/lib/reif.pl
@@ -5,18 +5,18 @@
 :- use_module(library(control), [(\=)/2]).
 :- use_module(library(dif)).
 
-/* in essence, '$reify_switch'(T, Then_0, Else_0) is this:
+/* in essence, '$reify_switch'(T, Then_0, Else_0) is semantically this:
     (  T == true -> call(Then_0)
     ;  T == false -> call(Else_0)
     ;  nonvar(T) -> throw(error(type_error(boolean, T), _))
     ;  throw(error(instantiation_error, _))
     ).
-    but without creating choice points.
+    but it does not create choice points.
 */
 
 if_(If_1, Then_0, Else_0) :-
     call(If_1, T),
-    '$reify_switch'(T, Then_0, Else_0).
+    '$call_with_default_policy'('$reify_switch'(T, Then_0, Else_0)).
 
 =(X, Y, T) :-
     (  X == Y -> T = true
-- 
2.54.0