Fix operators.

lbinria · Aug 31, 2023 · cd44416 · cd44416
1 parent 1f85974
commit cd44416
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/spec/TVOperators.tla b/spec/TVOperators.tla
@@ -31,8 +31,8 @@ RemoveFromBag(cur, val) ==
     ELSE
         cur
 
-Add(cur, val) == cur + val
-Sub(cur, val) == cur - val
+AddInteger(cur, val) == cur + val
+SubInteger(cur, val) == cur - val
 
 Unchanged(cur, val) == cur
 
@@ -44,7 +44,8 @@ Apply(var, default, op, args) ==
     []   op = "RemoveElement" -> RemoveElement(var, args[1])
     []   op = "AddToBag" -> AddToBag(var, args[1])
     []   op = "RemoveFromBag" -> RemoveFromBag(var, args[1])
-    []   op = "Add" -> Add(var, args[1])
+    []   op = "Add" -> AddInteger(var, args[1])
+    []   op = "Sub" -> SubInteger(var, args[1])
     []   op = "Clear" -> Clear(var, <<>>)
     []   op = "AppendElement" -> AppendElement(var, args[1])
     []   op = "RemoveKey" -> RemoveKey(var, args[1])