CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-20 00:41:05 +03:00
Code Issues Projects Releases Wiki Activity

Int32 and diff

Browse Source
This commit is contained in:
Denis Merigoux 2020-04-24 15:00:17 +02:00
parent 8a3c4dcae6
commit 7d0ba8cdd1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/catala/ir/ir.ml
View File

@ -160,7 +160,7 @@ type meta_assertion =
| FixedBy of qident Pos.marked * ident Pos.marked
| VariesWith of qident Pos.marked * expression Pos.marked * variation_typ Pos.marked option
module UidMap = Map.Make (Int)
module UidMap = Map.Make (Int32)
type field = {
field_var_map : qident UidMap.t;