Enable subtracting/comparing labels and other values

herd · Sep 29, 2023 · 2f258eb · 2f258eb
1 parent 1c97172
commit 2f258eb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/symbValue.ml b/lib/symbValue.ml
@@ -280,7 +280,7 @@ module
     match v1,v2 with
     | (Val (Tag _),Val (Tag _))
     | (Val (Symbolic _),Val (Symbolic _))
-    | (Val (Label _),Val (Label _))
+    | (Val (Label _), Val _) | (Val _,Val (Label _))
     | (Val (PteVal _),Val (PteVal _))
     | (Val (Instruction _),Val (Instruction _))
       ->