Changeset 32 for sources/src/sc_trace.cc

Timestamp:

Jun 4, 2009, 2:09:13 PM (15 years ago)

Author:

buchmann

Message:

Changes:

• rename pending_write into pending_write_t
• indent code

File:

• sources/src/sc_trace.cc (modified) (1 diff)

sources/src/sc_trace.cc

@@ -300 +300 @@
     return (*pointer_saved != *pointer_current);
   } else if (bit_size > 16) {
-    const uint32 *const pointer_saved   = s2t.pointer;
-    const uint32 *const pointer_current = s2t.inter->get_pointer ();
+    const uint32 *const pointer_saved   = (const uint32*)s2t.pointer;
+    const uint32 *const pointer_current = (const uint32*)s2t.inter->get_pointer ();
     return (*pointer_saved != *pointer_current);
   } else {