typo

kfriedberger · kfriedberger · commit dab5110d4029 · 2019-10-07T16:27:24.000+02:00
diff --git a/src/org/sosy_lab/java_smt/api/SolverContext.java b/src/org/sosy_lab/java_smt/api/SolverContext.java
@@ -63,7 +63,7 @@ enum ProverOptions {
      */
     GENERATE_UNSAT_CORE_OVER_ASSUMPTIONS,
 
-    /** Whether the solver should enable support ofr formulae build in SL theory. */
+    /** Whether the solver should enable support for formulae build in SL theory. */
     ENABLE_SEPARATION_LOGIC
   }
 

Original file line number	Diff line number	Diff line change
`@@ -63,7 +63,7 @@ enum ProverOptions {`
`63`	`63`	`*/`
`64`	`64`	`GENERATE_UNSAT_CORE_OVER_ASSUMPTIONS,`
`65`	`65`
`66`		`- /** Whether the solver should enable support ofr formulae build in SL theory. */`
	`66`	`+ /** Whether the solver should enable support for formulae build in SL theory. */`
`67`	`67`	`ENABLE_SEPARATION_LOGIC`
`68`	`68`	`}`
`69`	`69`