adjust STM_internal header

jmid · jmid · commit 4f03faf5a077 · 2022-11-14T09:29:32.000+01:00
diff --git a/lib/STM_internal.mli b/lib/STM_internal.mli
@@ -1,7 +1,6 @@
 open QCheck
 open STM_spec
-(** A revised state machine framework with parallel testing.
-    This version does not come with built-in GC commands. *)
+(** Internal helper module to build STM tests. *)
 
 
 (** Derives a test framework from a state machine specification. *)
