fix #95

hazelgrove · Jan 7, 2025 · df3b010 · df3b010
1 parent 0c81308
commit df3b010
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/core/structure/Oblig.re b/src/core/structure/Oblig.re
@@ -48,7 +48,7 @@ module Delta = {
 
   let zero = empty;
   let decr = (o, map) =>
-    add(o, Tuples.map_fst(n => n - 1, find(o, map)), map);
+    add(o, Tuples.map_fst(n => n + 1, find(o, map)), map);
   let incr = (o, map) =>
     add(o, Tuples.map_snd(n => n + 1, find(o, map)), map);