diff options
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coq.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/coq.ml b/ide/coq.ml index a7d8da8136..16b2460adf 100644 --- a/ide/coq.ml +++ b/ide/coq.ml @@ -354,7 +354,7 @@ let compute_reset_info = function | VernacDefineModule (_,(_,id), _, _, _) | VernacDeclareModule (_,(_,id), _, _) | VernacDeclareModuleType ((_,id), _, _) - | VernacAssumption (_, (_,((_,id)::_,_))::_) + | VernacAssumption (_,_ ,(_,((_,id)::_,_))::_) | VernacInductive (_, (((_,id),_,_,_),_) :: _) -> Reset (id, ref true) | VernacDefinition (_, (_,id), ProveBody _, _) |