Merge remote-tracking branch 'origin/develop'

runtimeverification · Jul 23, 2024 · 72805d4 · 72805d4
2 parents ad90080 + ce19f5e
commit 72805d4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/k-distribution/include/kframework/builtin/domains.md b/k-distribution/include/kframework/builtin/domains.md
@@ -1432,7 +1432,7 @@ module INT
     ((I1 %Int absInt(I2)) +Int absInt(I2)) %Int absInt(I2)
   requires I2 =/=Int 0    [concrete, simplification]
 
-  rule minInt(I1:Int, I2:Int) => I1 requires I1 <=Int I2
+  rule minInt(I1:Int, I2:Int) => I1 requires I1 <Int  I2
   rule minInt(I1:Int, I2:Int) => I2 requires I1 >=Int I2
 
   rule I1:Int =/=Int I2:Int => notBool (I1 ==Int I2)