diff --git a/src/test/resources/laws/BBuiltInsTest.mch b/src/test/resources/basics/BBuiltInsTest.mch
similarity index 99%
rename from src/test/resources/laws/BBuiltInsTest.mch
rename to src/test/resources/basics/BBuiltInsTest.mch
index 528909e3c14bcb2e530307f2457ee331b8745829..360c9bd10ed4092ea19e810b466b18faef6be903 100644
--- a/src/test/resources/laws/BBuiltInsTest.mch
+++ b/src/test/resources/basics/BBuiltInsTest.mch
@@ -71,7 +71,7 @@ PROPERTIES
 & max({1,2}) = 2
 
 /* MaxInt */
-& MAXINT = 4
+& MAXINT = 3
 
 /* MinInt */
 & MININT = -1