From cc709fb5b3fc54813e9234757a69dfbf6bb90bb4 Mon Sep 17 00:00:00 2001
From: Mylloon <kennel.anri@tutanota.com>
Date: Sat, 27 Apr 2024 12:33:39 +0200
Subject: [PATCH] fmt issue

---
 lib/term.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/lib/term.ml b/lib/term.ml
index 536c4ae..128590f 100644
--- a/lib/term.ml
+++ b/lib/term.ml
@@ -22,16 +22,17 @@ type t =
 
 let rec string_of_term = function
   | Var v -> "Var '" ^ v ^ "'"
-  | IntConst n -> "IntConst(" ^ string_of_int n ^ ")"
+  | IntConst n -> string_of_int n
   | Binop (a, b, c) ->
     "Binop ("
     ^ string_of_term a
-    ^ ", "
+    ^ " "
     ^ (match b with
        | Plus -> "+"
        | Minus -> "-"
        | Times -> "*"
        | Div -> "/")
+    ^ " "
     ^ string_of_term c
     ^ ")"
   | Pair (a, b) -> "Pair (" ^ string_of_term a ^ ", " ^ string_of_term b ^ ")"