Use NUL to mark unification in Hypertension generate

NUL marks the spot!
Maumagnaguagno · Oct 12, 2023 · fe678e5 · fe678e5
1 parent f38d809
commit fe678e5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Hypertension.rb b/Hypertension.rb
@@ -171,7 +171,7 @@ def generate(precond_pos, precond_not, *free)
         match_objects.shift << match_objects.shift until match_objects.empty?
       }
       # Unification closed
-      terms.each {|i| i.first.replace('X') if i.instance_of?(Array) and i.first.empty?}
+      terms.each {|i| i.first << 0 if i.instance_of?(Array) and i.first.empty?}
     }
     # Remove pointer and duplicates
     objects.each {|i|