diff options
Diffstat (limited to 'toplevel/obligations.ml')
| -rw-r--r-- | toplevel/obligations.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/toplevel/obligations.ml b/toplevel/obligations.ml index b9783a9cb1..a6677a78b0 100644 --- a/toplevel/obligations.ml +++ b/toplevel/obligations.ml @@ -3,6 +3,7 @@ open Globnames open Libobject open Entries open Decl_kinds +open Util open Declare (** |