Commit c457a123 authored by Fabian Ritter's avatar Fabian Ritter Committed by Anastasiia

Fix typo in a comment

parent f8ed5bed
......@@ -25,7 +25,7 @@ class DRealInterpreter(executable: String, args: Array[String])
/** A custom parsing function for the check-sat result.
*
* This is necessary because dReal outputs
* "delat-sat with delta = <some number>"
* "delta-sat with delta = <some number>"
* instead of "sat".
* It makes use of internal parser functions and can therefore be considered
* a HACK.
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment