remove unnecessary AddXConstraint overload

dafny-lang · Sep 29, 2022 · 901a873 · 901a873
1 parent 94a6277
commit 901a873
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/Source/DafnyCore/Resolver.cs b/Source/DafnyCore/Resolver.cs
@@ -15725,14 +15725,6 @@ private void AddXConstraint(IToken tok, string constraintName, Type type0, Type
       var types = new Type[] { type0, type1 };
       AllXConstraints.Add(new XConstraint(tok, constraintName, types, errMsg));
     }
-    private void AddXConstraint(IToken tok, string constraintName, Type[] types, string errMsgFormat) {
-      Contract.Requires(tok != null);
-      Contract.Requires(constraintName != null);
-      Contract.Requires(types != null);
-      Contract.Requires(cce.NonNullElements(types));
-      Contract.Requires(errMsgFormat != null);
-      AllXConstraints.Add(new XConstraint(tok, constraintName, types, new TypeConstraint.ErrorMsgWithToken(tok, errMsgFormat, types)));
-    }
     private void AddXConstraint(IToken tok, string constraintName, Type type, Expression expr0, Expression expr1, string errMsgFormat) {
       Contract.Requires(tok != null);
       Contract.Requires(constraintName != null);