| Upstream rev 16121 |
| https://bugs.gentoo.org/show_bug.cgi?id=450954 |
| |
| Index: coq-8.4pl1/scripts/coqmktop.ml |
| =================================================================== |
| --- coq-8.4pl1.orig/scripts/coqmktop.ml |
| +++ coq-8.4pl1/scripts/coqmktop.ml |
| @@ -45,8 +45,7 @@ let camlp4topobjs = |
| [ "Camlp4Top.cmo"; |
| "Camlp4Parsers/Camlp4OCamlRevisedParser.cmo"; |
| "Camlp4Parsers/Camlp4OCamlParser.cmo"; |
| - "Camlp4Parsers/Camlp4GrammarParser.cmo"; |
| - "q_util.cmo"; "q_coqast.cmo" ] |
| + "Camlp4Parsers/Camlp4GrammarParser.cmo" ] |
| let topobjs = camlp4topobjs |
| |
| let gramobjs = [] |