Commit a0af7daf authored by Anastasiia's avatar Anastasiia

try to kill dReal

parent 8365473a
......@@ -87,6 +87,7 @@ class DRealInterpreter(executable: String, args: Array[String])
} finally {
// now kill the process
invalidated = true
this.free()
kill()
}
......
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