From fe678e507509892face853603540996568e367a7 Mon Sep 17 00:00:00 2001
From: Mau Magnaguagno <maumagnaguagno@gmail.com>
Date: Thu, 12 Oct 2023 02:43:02 -0300
Subject: [PATCH] Use NUL to mark unification in Hypertension generate

NUL marks the spot!
---
 Hypertension.rb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Hypertension.rb b/Hypertension.rb
index af43498..a32ec8a 100644
--- 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|