()

diff --git a/src/Dyna/Backend/Python/interpreter.py b/src/Dyna/Backend/Python/interpreter.py
index a3e9bb9da3c86b86d20fbbb6c8093f1e8da78cd3..e14fe4d5e60c92c4ff7220d25399e85e644b3894 100644 (file)
--- a/src/Dyna/Backend/Python/interpreter.py
+++ b/src/Dyna/Backend/Python/interpreter.py
@@ -629,10 +629,10 @@ def peel(fn, item):
     and constants (possibly an empty tuple).
     """
     if fn == "true/0":
-        assert item is true
+        assert item is True
         return
     if fn == "false/0":
-        assert item is false
+        assert item is False
         return
     assert isinstance(item, Term)
     assert item.fn == fn