From e381cef92ca88e48a875d3da1a4cb3cb32206352 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Wed, 26 Oct 2016 15:12:10 +0100
Subject: [PATCH] Marked .NET Z3Exception as serializable

---
 src/api/dotnet/Z3Exception.cs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/api/dotnet/Z3Exception.cs b/src/api/dotnet/Z3Exception.cs
index adda43995..71e4fef1a 100644
--- a/src/api/dotnet/Z3Exception.cs
+++ b/src/api/dotnet/Z3Exception.cs
@@ -14,7 +14,7 @@ Author:
     Christoph Wintersteiger (cwinter) 2012-03-15
 
 Notes:
-    
+
 --*/
 
 using System;
@@ -24,6 +24,7 @@ namespace Microsoft.Z3
   /// <summary>
   /// The exception base class for error reporting from Z3
   /// </summary>
+  [Serializable]
   public class Z3Exception : Exception
   {
     /// <summary>