diff options
| author | Mengchi Zhang <[email protected]> | 2019-07-11 11:10:28 -0400 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-07-11 11:10:28 -0400 |
| commit | aa12db699a540ea7b4ed4b913be6ef3155fc68d6 (patch) | |
| tree | ea1cede9a3dcd7afbbdc5d844135906e565e79e7 /src/debug.h | |
| parent | 460e779f45faa545c263e2d3316935b9fc083876 (diff) | |
| parent | cf13f05351636d178ee30c3a57872c33ef5a4e47 (diff) | |
Merge pull request #24 from echoedit/dev
Dev
Diffstat (limited to 'src/debug.h')
| -rw-r--r-- | src/debug.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/debug.h b/src/debug.h index 1277494..1005bd5 100644 --- a/src/debug.h +++ b/src/debug.h @@ -83,8 +83,6 @@ private: unsigned m_value; }; -extern int gpgpu_ptx_instruction_classification ; - class ptx_thread_info; class ptx_instruction; bool thread_at_brkpt( ptx_thread_info *thd_info, const class brk_pt &b ); |