debug: remove unused auto_int function
authorMegan Wachs <megan@sifive.com>
Tue, 16 May 2017 21:43:43 +0000 (14:43 -0700)
committerGitHub <noreply@github.com>
Tue, 16 May 2017 21:43:43 +0000 (14:43 -0700)

No differences found