Doc

OCamlPro · Sep 28, 2023 · 3e3e228 · 3e3e228
1 parent 2857b1a
commit 3e3e228
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/lib/frontend/d_loop.ml b/src/lib/frontend/d_loop.ml
@@ -29,6 +29,8 @@
 (**************************************************************************)
 
 exception DolmenError of int * string
+(** An error raised by Dolmen; corresponds to the error code and a short
+    description of the error. *)
 
 module DStd = Dolmen.Std
 module Dl = Dolmen_loop