From df3b01075906c70a034fc433fdfc2605ebda2b5a Mon Sep 17 00:00:00 2001
From: David Moon <dmoon1221@gmail.com>
Date: Tue, 7 Jan 2025 14:58:17 -0500
Subject: [PATCH] fix #95

---
 src/core/structure/Oblig.re | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/structure/Oblig.re b/src/core/structure/Oblig.re
index ad6f3aa8..1c87dfcb 100644
--- 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);