Latest cppo

Cristiano Calcagno · Cristiano Calcagno · commit d21bfbc5349f · 2018-04-24T09:58:57.000+02:00
diff --git a/jscomp/others/belt_MapInt.ml b/jscomp/others/belt_MapInt.ml
@@ -2,7 +2,7 @@
 type key = int
 module I = Belt_internalMapInt    
 
-# 11
+# 11 "map.cppo.ml"
 module N = Belt_internalAVLtree
 module A = Belt_Array 
 
diff --git a/jscomp/others/belt_MapString.ml b/jscomp/others/belt_MapString.ml
@@ -2,7 +2,7 @@
 type key = string
 module I = Belt_internalMapString
 
-# 11
+# 11 "map.cppo.ml"
 module N = Belt_internalAVLtree
 module A = Belt_Array 
 
