summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/PureToExtract.ml1
1 files changed, 1 insertions, 0 deletions
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;