Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
instr: kill an unused structure field to please clang
authorMartin Quinson <martin.quinson@loria.fr>
Sun, 21 May 2017 15:32:51 +0000 (17:32 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Sun, 21 May 2017 15:32:51 +0000 (17:32 +0200)
commitbf9e3674215d469c97cca6ea5f55467434124dc7
tree7b8601a814774b5ccac1d5278c9f3aba75673d62
parentdb65a7dc7c89e5a64ee5ce57ca2edf61f330887c
instr: kill an unused structure field to please clang
src/instr/instr_private.h