Update plugins/dune-rules/src/qcheck_stm.ml

Co-authored-by: shym <samuel@tarides.com>
n-osborne · Feb 9, 2024 · 044a1cb · 044a1cb
1 parent c94998a
commit 044a1cb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/plugins/dune-rules/src/qcheck_stm.ml b/plugins/dune-rules/src/qcheck_stm.ml
@@ -17,8 +17,8 @@ let msg ppf config =
     "; This file is generated by ortac dune qcheck-stm@\n\
      ; It contains the rules for generating and running QCheck-STM tests for %s@\n\
      ; It also contains the rule to generate itself, so you can edit this rule \
-     to change some options rather that running ortac on the command line \
-     again@\n"
+     to@\n\
+     ; change some options rather that running ortac on the command line again@\n"
     config.interface_file
 
 let quote ppf s = pf ppf "%S" s