From c6eedd0ebe3c4f986cdea36ecec468ae1cadb537 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 28 Jan 2022 14:14:32 +0100
Subject: Add a comment

---
 src/PureMicroPasses.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/PureMicroPasses.ml b/src/PureMicroPasses.ml
index 579fcf14..3b91eaa5 100644
--- a/src/PureMicroPasses.ml
+++ b/src/PureMicroPasses.ml
@@ -22,6 +22,7 @@ let get_expression_min_var_counter (e : expression) : VarId.generator =
 
       method zero _ _ = VarId.zero
 
+      (* TODO: why 2 parameters??? I don't understand what's going on... *)
       method plus id0 id1 _ _ = VarId.max (id0 () ()) (id1 () ())
       (* Get the maximum *)
 
-- 
cgit v1.2.3