Hint that something is missing is a specification in the documentation

Since ocaml-gospel#317 was not yet addressed, add an explicit `(* ... *)` to hint that the proposed specification cannot be used all by itself (yet)
shym · Oct 4, 2023 · 0218404 · 0218404
1 parent 83987ca
commit 0218404
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/docs/docs/language/function-contracts.md b/docs/docs/language/function-contracts.md
@@ -332,7 +332,8 @@ or not.
 ```ocaml invalidSyntax
 val run : unit -> unit
 (*@ run ()
-    diverges *)
+    diverges
+    (* ... *) *)
 ```
 
 ## Data Mutability