diff options
Diffstat (limited to 'camlp4/unmaintained/compile/comp_head.ml')
| -rw-r--r-- | camlp4/unmaintained/compile/comp_head.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/camlp4/unmaintained/compile/comp_head.ml b/camlp4/unmaintained/compile/comp_head.ml index cd62343641..c44562146a 100644 --- a/camlp4/unmaintained/compile/comp_head.ml +++ b/camlp4/unmaintained/compile/comp_head.ml @@ -67,4 +67,3 @@ let _ = do { Printf.eprintf "recovered or_zero at loc (%d, %d)\n" loc1 loc2; flu ; (****************************************) - |