From be9aa2cc897ce4ff8a42617f9707c179e0eeddbd Mon Sep 17 00:00:00 2001
From: "Dobbertin, Niclas" <niclas.dobbertin@mailbox.org>
Date: Mon, 2 Sep 2024 08:12:53 +0200
Subject: update

---
 modeling/prod_subtraction.py | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

(limited to 'modeling/prod_subtraction.py')

diff --git a/modeling/prod_subtraction.py b/modeling/prod_subtraction.py
index 1d1f73e..b952dd9 100644
--- a/modeling/prod_subtraction.py
+++ b/modeling/prod_subtraction.py
@@ -80,6 +80,21 @@ def subtraction(Model):
         arg2        =num2
         """,
     )
+    sub_ones_retry = Model.productionstring(
+        name="sub_ones_retry",
+        string="""
+        =g>
+        isa         math_goal
+        op          sub_ones
+        ?retrieval>
+        state       error
+        ==>
+        =g>
+        isa         math_goal
+        op          sub_retrieve
+        ~retrieval>
+        """,
+    )
 
     sub_ones_ok = Model.productionstring(
         name="sub_ones_ok",
-- 
cgit v1.2.3