Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge pull request #190 from Takishipp/clean_events
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 19 Jun 2017 12:20:00 +0000 (14:20 +0200)
committerGitHub <noreply@github.com>
Mon, 19 Jun 2017 12:20:00 +0000 (14:20 +0200)
fix leak of memory caused by DefineEventTypeEvent call

1  2 
src/instr/instr_paje_trace.cpp

Simple merge