diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-08-23 15:03:55 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-08-23 15:03:55 +0200 |
| commit | 19cff41eb4261b20374058f16807a229af46f304 (patch) | |
| tree | 10cdd990dfbba21e7851127fca75de4c74cdd274 /frontends/verific | |
| parent | 5dce303a2a2c27d50e99856b6f33467798e13020 (diff) | |
Changed frontend-api from FILE to std::istream
Diffstat (limited to 'frontends/verific')
0 files changed, 0 insertions, 0 deletions