diff options
Diffstat (limited to 'kernel/opaqueproof.mli')
| -rw-r--r-- | kernel/opaqueproof.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/opaqueproof.mli b/kernel/opaqueproof.mli index 47439a787d..41f5ebb6b3 100644 --- a/kernel/opaqueproof.mli +++ b/kernel/opaqueproof.mli @@ -65,6 +65,6 @@ val discharge_direct_opaque : val join_opaque : ?except:Future.UUIDSet.t -> opaquetab -> opaque -> unit val dump : ?except:Future.UUIDSet.t -> opaquetab -> - (cooking_info list * int * Constr.t) option array * + (cooking_info list * int * Constr.t option) array * cooking_info list array * int Future.UUIDMap.t |