summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorSon Ho2022-01-28 14:14:32 +0100
committerSon Ho2022-01-28 14:14:32 +0100
commitc6eedd0ebe3c4f986cdea36ecec468ae1cadb537 (patch)
treeea1f2b8407b025ab3882e8759f3c165f1f3f183b /src
parenta28b8a06c0afbbf2a17518fa3e8f66b88c08bc5f (diff)
Add a comment
Diffstat (limited to 'src')
-rw-r--r--src/PureMicroPasses.ml1
1 files changed, 1 insertions, 0 deletions
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 *)