From 7c1d45b574de33dafcd93b251fc089acff313292 Mon Sep 17 00:00:00 2001
From: Niclas Dobbertin <niclas.dobbertin@mailbox.org>
Date: Sun, 1 Sep 2024 17:29:19 +0200
Subject: fix retrieval checks

---
 modeling/prod_addition.py | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'modeling/prod_addition.py')

diff --git a/modeling/prod_addition.py b/modeling/prod_addition.py
index 27a0bcd..12473d3 100644
--- a/modeling/prod_addition.py
+++ b/modeling/prod_addition.py
@@ -15,6 +15,7 @@ def addition(Model):
         arg2        =num2
         ones_ans     None
         ?retrieval>
+        buffer      empty
         state       free
         ==>
         =g>
@@ -217,6 +218,7 @@ def addition(Model):
         ones_carry       1
         ?retrieval>
         state       free
+        buffer      empty
         ==>
         =g>
         isa         math_goal
@@ -310,6 +312,7 @@ def addition(Model):
         hundreds1   =hun1
         hundreds2   =hun2
         ?retrieval>
+        buffer      empty
         state       free
         ==>
         =g>
-- 
cgit v1.2.3