docs(Reporter): fix the example

RedPRL · Oct 23, 2023 · 2122915 · 2122915
1 parent 1836e38
commit 2122915
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ReporterSigs.ml b/src/ReporterSigs.ml
@@ -69,7 +69,7 @@ sig
 
       Example:
       {[
-        Reporter.fatalf FileError "failed to write the password %s on the screen" file_path
+        Reporter.fatalf SecurityTooStrict "failed to write the password %s on the screen" password
       ]}
 
       @param severity The severity (to overwrite the default severity inferred from the [message]).