Change Preconditions check to assertion

ftsrg · Aug 15, 2024 · ea0d2b2 · ea0d2b2
1 parent 5ce63e9
commit ea0d2b2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...er/solver-z3-legacy/src/main/java/hu/bme/mit/theta/solver/z3legacy/Z3TermTransformer.java b/...er/solver-z3-legacy/src/main/java/hu/bme/mit/theta/solver/z3legacy/Z3TermTransformer.java
@@ -314,7 +314,7 @@ public Z3TermTransformer(final Z3SymbolTable symbolTable) {
     }
 
     private void addFunc(String name, Tuple2<Integer, TriFunction<com.microsoft.z3legacy.Expr, Model, List<Decl<?>>, Expr<?>>> func) {
-        checkArgument(!environment.containsKey(Tuple2.of(name, func.get1())), "Duplicate key: " + Tuple2.of(name, func.get1()));
+        assert !environment.containsKey(Tuple2.of(name, func.get1()));
         environment.put(Tuple2.of(name, func.get1()), func.get2());
     }