fix typo

hferee · Sep 13, 2024 · fb5041b · fb5041b
1 parent f2042bb
commit fb5041b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bin/isl_dec.ml b/bin/isl_dec.ml
@@ -18,7 +18,7 @@ let usage_string =
   "isl_dec φ: decides the provability of the modal formula φ in iSL.\n"
 
 let print_decision = function
-  | Coq_inl _ -> "Probable"
+  | Coq_inl _ -> "Provable"
   | _ -> "Not provable"
 
 let () =