Rename, work around Go bug

robin-aws · Oct 13, 2023 · 16be5d6 · 16be5d6
1 parent 578cdfa
commit 16be5d6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...yStandardLibraries/src/dafny/Wrappers.dfy → ...rdLibraries/src/dafnystdlibs/Wrappers.dfy b/...yStandardLibraries/src/dafny/Wrappers.dfy → ...rdLibraries/src/dafnystdlibs/Wrappers.dfy
@@ -210,7 +210,7 @@ module {:options "--function-syntax:4"} DafnyStdLibs.Wrappers {
   /** In verification, this method functions as an `assert` of the given condition;
       at run-time functions as an `expect`. The arguments may not be ghost.
    */
-  method AssertAndExpect<T>(condition: bool, maybeMsg: Option<T> := None)
+  method AssertAndExpect(condition: bool, maybeMsg: Option<string> := None)
     requires condition
   {
     match maybeMsg {