diff options
Diffstat (limited to 'parsing/highparsing.mllib')
-rw-r--r-- | parsing/highparsing.mllib | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/parsing/highparsing.mllib b/parsing/highparsing.mllib index 13ed80464..8df519b56 100644 --- a/parsing/highparsing.mllib +++ b/parsing/highparsing.mllib @@ -3,5 +3,3 @@ G_vernac G_prim G_proofs G_tactic -G_ltac -G_obligations |