Changeset 3838 for trunk/ProjectFortress/not_passing_yet

Timestamp:

06/11/09 12:39:21 (6 months ago)

Author:

sukyoungryu

Message:

[copyright] Fixed copyright notices of syntactic abstraction tests.

Location:

trunk/ProjectFortress/not_passing_yet

Files:

• OverloadsA.fsi (modified) (2 diffs)
• OverloadsB.fsi (modified) (2 diffs)

trunk/ProjectFortress/not_passing_yet/OverloadsA.fsi

@@ -1 +1 @@
 (*******************************************************************************
-    Copyright 2008 Sun Microsystems, Inc.,
+    Copyright 2009 Sun Microsystems, Inc.,
     4150 Network Circle, Santa Clara, California 95054, U.S.A.
     All rights reserved.
@@ -15 +15 @@
     trademarks of Sun Microsystems, Inc. in the U.S. and other countries.
  ******************************************************************************)
- 
+
  api OverloadsA
- 
+
    opr *(l: ZZ32, r: Boolean) : ZZ32
    opr (l: Boolean)+ : ZZ32
- 
+
  end

trunk/ProjectFortress/not_passing_yet/OverloadsB.fsi

@@ -1 +1 @@
 (*******************************************************************************
-    Copyright 2008 Sun Microsystems, Inc.,
+    Copyright 2009 Sun Microsystems, Inc.,
     4150 Network Circle, Santa Clara, California 95054, U.S.A.
     All rights reserved.
@@ -15 +15 @@
     trademarks of Sun Microsystems, Inc. in the U.S. and other countries.
  ******************************************************************************)
- 
+
  api OverloadsB
- 
+
    opr *(l: Boolean, r: ZZ32): ZZ32
    opr +(l: Boolean): ZZ32
- 
+
  end