diff --git a/src/api/dotnet/NativeContext.cs b/src/api/dotnet/NativeContext.cs index a9c4ab775..604d752b2 100644 --- a/src/api/dotnet/NativeContext.cs +++ b/src/api/dotnet/NativeContext.cs @@ -12,10 +12,8 @@ Abstract: Author: Christoph Wintersteiger (cwinter) 2012-03-22 - Nikolaj Bjorner (nbjorner) 2022-03-01 - -Notes: - + John Fleisher, Nikolaj Bjorner (nbjorner) 2022-03-01 + --*/ using System;