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_subtraction.py | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'modeling/prod_subtraction.py')

diff --git a/modeling/prod_subtraction.py b/modeling/prod_subtraction.py
index 91137bb..1d1f73e 100644
--- a/modeling/prod_subtraction.py
+++ b/modeling/prod_subtraction.py
@@ -14,6 +14,7 @@ def subtraction(Model):
         arg2        =arg2
         ?retrieval>
         state       free
+        buffer      empty
         ==>
         =g>
         isa         math_goal
@@ -191,6 +192,7 @@ def subtraction(Model):
         tens2        =num2
         ones_carry  1
         ?retrieval>
+        buffer      empty
         state       free
         ==>
         =g>
@@ -264,6 +266,7 @@ def subtraction(Model):
         tens2        =num2
         ones_carry  0
         ?retrieval>
+        buffer      empty
         state       free
         ==>
         =g>
@@ -387,6 +390,7 @@ def subtraction(Model):
         hundreds2        =num2
         tens_carry  1
         ?retrieval>
+        buffer      empty
         state       free
         ==>
         =g>
@@ -460,6 +464,7 @@ def subtraction(Model):
         hundreds2        =num2
         tens_carry  0
         ?retrieval>
+        buffer      empty
         state       free
         ==>
         =g>
-- 
cgit v1.2.3