interop: Adjust model to dafny-lang/dafny#2195

dafny-lang · Jun 30, 2022 · 14abf35 · 14abf35
1 parent a4f4bc1
commit 14abf35
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Interop/CSharpDafnyModel.dfy b/src/Interop/CSharpDafnyModel.dfy
@@ -13,6 +13,7 @@ module {:extern "Microsoft.Dafny"} {:compile false} Microsoft.Dafny {
   class {:extern} {:compile false} VisibilityScope {}
   class {:extern} {:compile false} ErrorReporter {}
   class {:extern} {:compile false} TypeConstraint {}
+  trait {:extern} {:compile false} {:termination false} Cloner {}
 
   class {:extern} {:compile false} Resolver {}
   class {:extern "Resolver.TypeConstraint"} Resolver__TypeConstraint {}