diff options
Diffstat (limited to '')
| -rw-r--r-- | src/id_table.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/id_table.c b/src/id_table.c index fc22bb1..70072d6 100644 --- a/src/id_table.c +++ b/src/id_table.c @@ -60,7 +60,7 @@ void IdTable_init() { IdTable[ID_DUP].aux.arity = 2; - IdTable[ID_INT].name = "int"; + IdTable[ID_INT].name = "Int"; IdTable[ID_TUPLE0].name = "Tuple0"; IdTable[ID_TUPLE1].name = "Tuple1"; IdTable[ID_TUPLE2].name = "Tuple2"; |