diff options
Diffstat (limited to 'toplevel/ide_slave.ml')
| -rw-r--r-- | toplevel/ide_slave.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/ide_slave.ml b/toplevel/ide_slave.ml index 4d7b8f5291..e2d22472a0 100644 --- a/toplevel/ide_slave.ml +++ b/toplevel/ide_slave.ml @@ -90,7 +90,7 @@ let rec attribute_of_vernac_command = function (* Type classes *) | VernacInstance _ -> [] | VernacContext _ -> [] - | VernacDeclareInstance _ -> [] + | VernacDeclareInstances _ -> [] | VernacDeclareClass _ -> [] (* Solving *) |