Changeset 59 for sources/src/internal_ext.h

Timestamp:

Feb 6, 2017, 11:35:42 AM (7 years ago)

Author:

meunier

Message:

• Fixed memory leaks
• Fixed indentation in some files

File:

• sources/src/internal_ext.h (modified) (2 diffs)

sources/src/internal_ext.h

@@ -38 +38 @@
 
 #include <list>
+//#include <stdint.h>
 
 #include "sc_fwd.h"
@@ -71 +72 @@
 #else
     typedef uint32 tab_t;
-// typedef smallest_uint tab_t; // signals of 64 bits are wrong in trace file
+    //typedef smallest_uint tab_t; // signals of 64 bits are wrong in trace file
 #endif
 typedef tab_t * equi_table_t;