Changes in src/Tests/Abstype.c [b1d6dd5:55ba733]

File:

• src/Tests/Abstype.c (modified) (2 diffs)

src/Tests/Abstype.c

@@ -1 @@
-type T | { T x( T ); };
+otype T | { T x( T ); };
 
 T y( T t ) {
@@ -6 +6 @@
 }
 
-forall( type T ) lvalue T *?( T * );
+forall( otype T ) lvalue T *?( T * );
 int ?++( int * );
 int ?=?( int *, int );
 forall( dtype DT ) DT * ?=?( DT **, DT * );
 
-type U = int *;
+otype U = int *;
 
 U x( U u ) {