From a4cc6cba38fa95e3b7da175b424baafcdb465ca9 Mon Sep 17 00:00:00 2001
From: Mylloon <kennel.anri@tutanota.com>
Date: Thu, 14 Mar 2024 22:23:22 +0100
Subject: [PATCH] extra space

---
 lib/term.mli | 1 +
 1 file changed, 1 insertion(+)

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