From c3a1b5048f5fc9e5f2f2dcd24506cb0762f5b71d Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 9 Feb 2022 18:32:58 +0100
Subject: Add a comment

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

diff --git a/src/PureToExtract.ml b/src/PureToExtract.ml
index 04f3c8b9..2a47eb6f 100644
--- a/src/PureToExtract.ml
+++ b/src/PureToExtract.ml
@@ -30,6 +30,7 @@ module StringMap = Collections.MakeMap (Collections.OrderedString)
 
 type name = Identifiers.name
 
+(* TODO: this should a module we give to a functor! *)
 type formatter = {
   bool_name : string;
   char_name : string;
-- 
cgit v1.2.3