fix typo

kfriedberger · kfriedberger · commit 3aff21d85870 · 2024-12-29T12:10:20.000+01:00
diff --git a/src/org/sosy_lab/java_smt/test/BooleanFormulaSubject.java b/src/org/sosy_lab/java_smt/test/BooleanFormulaSubject.java
@@ -173,7 +173,7 @@ private void reportUnsatCoreForUnexpectedUnsatisfiableFormula()
         prover.push(part);
       }
       if (!prover.isUnsat()) {
-        throw new AssertionError("repated satisfiability check returned different result");
+        throw new AssertionError("repeated satisfiability check returned different result");
       }
       final List<BooleanFormula> unsatCore = prover.getUnsatCore();
       if (unsatCore.isEmpty()

Original file line number	Diff line number	Diff line change
`@@ -173,7 +173,7 @@ private void reportUnsatCoreForUnexpectedUnsatisfiableFormula()`
`173`	`173`	`prover.push(part);`
`174`	`174`	`}`
`175`	`175`	`if (!prover.isUnsat()) {`
`176`		`- throw new AssertionError("repated satisfiability check returned different result");`
	`176`	`+ throw new AssertionError("repeated satisfiability check returned different result");`
`177`	`177`	`}`
`178`	`178`	`final List<BooleanFormula> unsatCore = prover.getUnsatCore();`
`179`	`179`	`if (unsatCore.isEmpty()`