From 25bcb022d4afde35ad59e1a91ccab335accf69fb Mon Sep 17 00:00:00 2001
From: Jedidiah Barber <contact@jedbarber.id.au>
Date: Thu, 18 Dec 2025 14:55:25 +1300
Subject: Added missing equality function for Term

---
 src/kompsos.ads | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/kompsos.ads')

diff --git a/src/kompsos.ads b/src/kompsos.ads
index 15f61bb..22e5a8b 100644
--- a/src/kompsos.ads
+++ b/src/kompsos.ads
@@ -42,6 +42,10 @@ package Kompsos is
 
     Empty_Term : constant Term;
 
+    function "="
+           (Left, Right : in Term)
+        return Boolean;
+
     function T
            (Item : in Element_Type)
         return Term;
-- 
cgit