blob: df0e5f5a57a3d3f77e5711db68e8a7f7582ce2e8 [file] [log] [blame]
Markus Armbrusterf01338c2019-10-18 09:43:42 +02001command-int.json: In command 'int':
2command-int.json:2: built-in type 'int' is already defined