From 14abf35304d9a598c071979f81f1c9f007135da6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cl=C3=A9ment=20Pit-Claudel?= <cpitcla@amazon.com>
Date: Wed, 29 Jun 2022 17:25:04 -0700
Subject: [PATCH] interop: Adjust model to dafny-lang/dafny#2195

---
 src/Interop/CSharpDafnyModel.dfy | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Interop/CSharpDafnyModel.dfy b/src/Interop/CSharpDafnyModel.dfy
index 95808888..5f60dfe9 100644
--- 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 {}