Fixing Copy-Paste mistake

viperproject · Oct 22, 2018 · a1fca4f · a1fca4f
1 parent a2c1547
commit a1fca4f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/source/DAGView.cs b/source/DAGView.cs
@@ -494,7 +494,7 @@ private void pathExplanationButton_Click(object sender, EventArgs e)
                 }
                 catch (Exception exception)
                 {
-                    _z3AxiomProfiler.DisplayMessage($"An exception was thrown. Please report this bug.\nDescription of the excepiton: {e.Message}");
+                    _z3AxiomProfiler.DisplayMessage($"An exception was thrown. Please report this bug.\nDescription of the excepiton: {exception.Message}");
                 }
 #endif
             });