diff options
| -rw-r--r-- | toplevel/stm.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/stm.ml b/toplevel/stm.ml index 790a651079..ee6305b5b1 100644 --- a/toplevel/stm.ml +++ b/toplevel/stm.ml @@ -790,7 +790,7 @@ end = struct (* {{{ *) | Declarations.SEsubproof(_, { Declarations.const_body = Declarations.OpaqueDef f; const_constraints = cst} ) -> - ignore(Future.force f); ignore(Future.force cst) + ignore(Future.join f); ignore(Future.join cst) | _ -> ()) se) l; l) in |