diff options
Diffstat (limited to 'Test/dafny0/Array.dfy')
-rw-r--r-- | Test/dafny0/Array.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/Array.dfy b/Test/dafny0/Array.dfy index 17500c97..d8bffce4 100644 --- a/Test/dafny0/Array.dfy +++ b/Test/dafny0/Array.dfy @@ -136,7 +136,7 @@ class A { }
}
-class B { }
+type B;
// -------------------------------
|