Changeset 2609 for trunk/ProjectFortress/test_library

Timestamp:

08/12/08 15:40:14 (16 months ago)

Author:

EricAllen

Message:

Turned on shadowing detection, after fixing remaining bugs in the detector and libraries.

Files:

• trunk/ProjectFortress/test_library/Foo.fsi (modified) (1 diff)

trunk/ProjectFortress/test_library/Foo.fsi

@@ -17 +17 @@
 
 api Foo
-  f(x:ZZ32)
+  f(x':ZZ32)
   x:ZZ32
   z:ZZ32