From a2447ecaa32bfff3eafd9b5f4ddda3899154104c Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 2 Feb 2021 21:03:15 -0700
Subject: [PATCH] replace Char '!' with QueryTerm::BlockedCut

---
 src/machine/preprocessor.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/machine/preprocessor.rs b/src/machine/preprocessor.rs
index c063bd6f..a6e3f1e3 100644
--- a/src/machine/preprocessor.rs
+++ b/src/machine/preprocessor.rs
@@ -712,6 +712,9 @@ impl Preprocessor {
                     Ok(clause_to_query_term(load_state, name, vec![], fixity))
                 }
             }
+            Term::Constant(_, Constant::Char('!')) => {
+                Ok(QueryTerm::BlockedCut)
+            }
             Term::Var(_, ref v) if v.as_str() == "!" => {
                 Ok(QueryTerm::UnblockedCut(Cell::default()))
             }
-- 
2.54.0