Commit ae56978

committed

Remove unused goto-analyzer/static_analyzer.{h,cpp}

It has been deprecated (and was no longer being built) in e936c50.

1 parent 2260f82 commit ae56978Copy full SHA for ae56978

2 files changed

+0

-271

lines changed

src/goto-analyzer
- static_analyzer.cpp
- static_analyzer.h

2 files changed

+0

-271

lines changed

`‎src/goto-analyzer/static_analyzer.cpp`

-237

This file was deleted.

`‎src/goto-analyzer/static_analyzer.h`

-34

This file was deleted.

Comments

(0)