DuplicateBuiltinBinding.err

DuplicateBuiltinBinding.agda:6,1-28
Duplicate binding for built-in thing INTEGER, previous binding to
Int
when checking the pragma BUILTIN INTEGER Int