na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Mar 3, 2022 · cd324a4 · cd324a4
1 parent 8d1276f
commit cd324a4
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/src/api/dotnet/NativeContext.cs b/src/api/dotnet/NativeContext.cs
@@ -12,10 +12,8 @@
 Author:
 
     Christoph Wintersteiger (cwinter) 2012-03-22
-    Nikolaj Bjorner (nbjorner) 2022-03-01
-
-Notes:
-    
+    John Fleisher, Nikolaj Bjorner (nbjorner) 2022-03-01
+       
 --*/
 
 using System;