diff --git a/lib/term.mli b/lib/term.mli
index 2ae8515..8fad451 100644
--- a/lib/term.mli
+++ b/lib/term.mli
@@ -1,6 +1,7 @@
 (*
    This module contains the syntax of terms of a minimal programming language.
 *)
+
 type binop =
   | Plus
   | Minus