remove useless double-semi-columns

81ce5cff · Raphaël Cauderlier · 3edf4a3b · 81ce5cff
Commit 81ce5cff authored Jul 11, 2014 by Raphaël Cauderlier
--- a/parsetree.mli
+++ b/parsetree.mli
@@ -33,4 +33,3 @@ type line =
 | Conv of term * term * stype
 | Norm of term
 | Print of string
-;;