diff options
| author | tgrogers <[email protected]> | 2018-10-11 22:15:15 -0400 |
|---|---|---|
| committer | tgrogers <[email protected]> | 2018-10-11 22:15:15 -0400 |
| commit | 76c878711187cd70e8eb460b8eb392da504e7655 (patch) | |
| tree | 0396cc7f993766e1ae0e6769572666e6ced35941 /src/debug.h | |
| parent | 982d7e02ff64c8978d5635bbc2b3515e2145574b (diff) | |
| parent | 68134d5eb326552fc1ef4b02b2eb21103266283b (diff) | |
Merging the latest dev from the public branch
Diffstat (limited to 'src/debug.h')
| -rw-r--r-- | src/debug.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/debug.h b/src/debug.h index 7c79f1e..1277494 100644 --- a/src/debug.h +++ b/src/debug.h @@ -87,7 +87,7 @@ extern int gpgpu_ptx_instruction_classification ; class ptx_thread_info; class ptx_instruction; -bool thread_at_brkpt( ptx_thread_info *thd_info, const struct brk_pt &b ); +bool thread_at_brkpt( ptx_thread_info *thd_info, const class brk_pt &b ); void hit_watchpoint( unsigned watchpoint_num, ptx_thread_info *thd, const ptx_instruction *pI ); #endif |