add (:-)/1 and (:-)/2 to ClauseType::is_inbuilt (#1872)

diff --git a/build/instructions_template.rs b/build/instructions_template.rs
index 3b2bd971ef2765ca59e35126a9d0703d18c4317e..5eaa542b6d93a7e241e12707a152ec259182dd3c 100644 (file)
--- a/build/instructions_template.rs
+++ b/build/instructions_template.rs
@@ -2261,6 +2261,10 @@ pub fn generate_instructions_rs() -> TokenStream {
     let mut is_inbuilt_arms = vec![];
     let mut is_inlined_arms = vec![];
 
+    is_inbuilt_arms.push(quote! {
+        (atom!(":-"), 1 | 2) => true
+    });
+
     for (name, arity, variant) in instr_data.compare_number_variants {
         let ident = variant.ident.clone();