From 1521c628a07a74860fd87512d1dbd5131124ee2d Mon Sep 17 00:00:00 2001
From: Mirek Kratochvil <exa.exa@gmail.com>
Date: Sun, 26 Feb 2023 22:17:38 +0100
Subject: [PATCH] unification flags behave like flags

---
 app/Interpreter.hs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/app/Interpreter.hs b/app/Interpreter.hs
index 0107bf5..5d1e2ab 100644
--- a/app/Interpreter.hs
+++ b/app/Interpreter.hs
@@ -242,10 +242,12 @@ unify (Number a) (Number b)
 unify (Struct a) VoidRef = do
   uNext
   cur . gol %= (replicate (arity a) (U VoidRef) ++)
+  cur . unis += arity a
   continue
 unify VoidRef (Struct a) = do
   uNext
   cur . hed %= (replicate (arity a) (U VoidRef) ++)
+  cur . unis += arity a
   continue
 unify (Struct a) (Struct b)
   | a == b = do