def: int should be defined as \(is
commit873c5610a24fb7cb8a9a1233d45da5084495c62e
authorAli Gholami Rudi <ali@rudi.ir>
Thu, 12 Feb 2015 14:37:25 +0000 (12 18:07 +0330)
committerAli Gholami Rudi <ali@rudi.ir>
Thu, 12 Feb 2015 14:37:25 +0000 (12 18:07 +0330)
tree8ea95ef5a9cb797c3d50dc6601509c39b6126e73
parent08239e74fe639bebc35759f6f1f1e84998d0673d
def: int should be defined as \(is

Reported by Dirk-Wilhelm Peters <peters@schwertfisch.de>.
def.c