diff options
author | leino <unknown> | 2014-10-21 01:16:56 -0700 |
---|---|---|
committer | leino <unknown> | 2014-10-21 01:16:56 -0700 |
commit | bf6de3d13197e1635a4d9fe807b3f4b45113ae6a (patch) | |
tree | c72587e9340fe59aed06852ef4b8d23dc39fba18 /Source/Dafny/Cloner.cs | |
parent | c182b533a83dfee69828620f12a051feaab03eac (diff) |
Comparisons and well-founded order of char
Diffstat (limited to 'Source/Dafny/Cloner.cs')
-rw-r--r-- | Source/Dafny/Cloner.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/Cloner.cs b/Source/Dafny/Cloner.cs index 84066c0e..0d77ecc6 100644 --- a/Source/Dafny/Cloner.cs +++ b/Source/Dafny/Cloner.cs @@ -191,7 +191,7 @@ namespace Microsoft.Dafny return new InferredTypeProxy();
} else if (t is OperationTypeProxy) {
var p = (OperationTypeProxy)t;
- return new OperationTypeProxy(p.AllowInts, p.AllowReals, p.AllowSeq, p.AllowSetVarieties);
+ return new OperationTypeProxy(p.AllowInts, p.AllowReals, p.AllowChar, p.AllowSeq, p.AllowSetVarieties);
} else if (t is ParamTypeProxy) {
return new ParamTypeProxy(CloneTypeParam(((ParamTypeProxy)t).orig));
} else {
|