diff options
-rw-r--r-- | Test/dafny0/Newtypes.dfy (renamed from Test/dafny0/DerivedTypes.dfy) | 0 | ||||
-rw-r--r-- | Test/dafny0/Newtypes.dfy.expect (renamed from Test/dafny0/DerivedTypes.dfy.expect) | 0 | ||||
-rw-r--r-- | Test/dafny0/NewtypesResolution.dfy (renamed from Test/dafny0/DerivedTypesResolution.dfy) | 0 | ||||
-rw-r--r-- | Test/dafny0/NewtypesResolution.dfy.expect (renamed from Test/dafny0/DerivedTypesResolution.dfy.expect) | 0 |
4 files changed, 0 insertions, 0 deletions
diff --git a/Test/dafny0/DerivedTypes.dfy b/Test/dafny0/Newtypes.dfy index 77fbe75d..77fbe75d 100644 --- a/Test/dafny0/DerivedTypes.dfy +++ b/Test/dafny0/Newtypes.dfy diff --git a/Test/dafny0/DerivedTypes.dfy.expect b/Test/dafny0/Newtypes.dfy.expect index 0161a713..0161a713 100644 --- a/Test/dafny0/DerivedTypes.dfy.expect +++ b/Test/dafny0/Newtypes.dfy.expect diff --git a/Test/dafny0/DerivedTypesResolution.dfy b/Test/dafny0/NewtypesResolution.dfy index 0fe36eec..0fe36eec 100644 --- a/Test/dafny0/DerivedTypesResolution.dfy +++ b/Test/dafny0/NewtypesResolution.dfy diff --git a/Test/dafny0/DerivedTypesResolution.dfy.expect b/Test/dafny0/NewtypesResolution.dfy.expect index 091ca523..091ca523 100644 --- a/Test/dafny0/DerivedTypesResolution.dfy.expect +++ b/Test/dafny0/NewtypesResolution.dfy.expect |