reftests: specify error on empty line '### '

ocaml · Dec 15, 2021 · f9d774c · f9d774c
1 parent d213ff1
commit f9d774c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/reftests/run.ml b/tests/reftests/run.ml
@@ -64,7 +64,7 @@ let is_prefix pfx s =
   String.sub s 0 (String.length pfx) = pfx
 
 let rem_prefix pfx s =
-  if not (is_prefix pfx s) then invalid_arg "rem_prefix"
+  if not (is_prefix pfx s) || s = pfx then invalid_arg "rem_prefix"
   else String.sub s (String.length pfx) (String.length s - String.length pfx)
 
 (* Test file format: {v