Changes in tests/maybe.cfa [66812dd:dc8511c]

File:

• tests/maybe.cfa (modified) (2 diffs)

tests/maybe.cfa

@@ -10 +10 @@
 // Created On       : Thr May 25 16:02:00 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Sep 25 15:13:28 2020
-// Update Count     : 2
+// Last Modified On : Thu Jul 20 15:24:07 2017
+// Update Count     : 1
 //
 
@@ -65 +65 @@
         //checkNamedConstructors();
         checkSetters();
-        printf( "done\n" );                             // non-empty .expect file
 }