diff options
Diffstat (limited to 'Source/ExecutionEngine/ExecutionEngine.cs')
| -rw-r--r-- | Source/ExecutionEngine/ExecutionEngine.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs index e988c638..f81150b1 100644 --- a/Source/ExecutionEngine/ExecutionEngine.cs +++ b/Source/ExecutionEngine/ExecutionEngine.cs @@ -1499,7 +1499,7 @@ namespace Microsoft.Boogie }
- private static void WriteErrorInformationToXmlSink(ErrorInformation errorInfo, BlockSeq trace)
+ private static void WriteErrorInformationToXmlSink(ErrorInformation errorInfo, List<Block> trace)
{
var msg = "assertion violation";
switch (errorInfo.Kind)
|