diff options
Diffstat (limited to 'Source/Provers/SMTLib/ProverInterface.cs')
| -rw-r--r-- | Source/Provers/SMTLib/ProverInterface.cs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs index 15bb3257..a62fa25a 100644 --- a/Source/Provers/SMTLib/ProverInterface.cs +++ b/Source/Provers/SMTLib/ProverInterface.cs @@ -201,8 +201,10 @@ namespace Microsoft.Boogie.SMTLib if (Process != null)
Process.Send(s);
- if (currentLogFile != null)
+ if (currentLogFile != null) {
currentLogFile.WriteLine(s);
+ currentLogFile.Flush();
+ }
}
private void FindDependentTypes(Type type, List<CtorType> dependentTypes)
|