Tweak README again

rems-project · Dec 13, 2024 · bba3c5b · bba3c5b
1 parent 2b5d019
commit bba3c5b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/preprocessor/README.md b/preprocessor/README.md
@@ -123,8 +123,8 @@ the test variations in a file:
 
   * `run-mutant` can run a single mutation.
 
-    * `run-prop-tests` test all "normal" functions (i.e., not unit tests or
-      mutants)
+  * `run-prop-tests` test all "normal" functions (i.e., not unit tests or
+    mutants)