diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-05-14 15:56:11 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-05-17 19:58:21 -0700 |
| commit | 98512d53bad33ee25835a04b1e83acab815d454f (patch) | |
| tree | 86aaca79768c53eba571108dc0633ca0b3720456 /src/printer/tptp/tptp_printer.cpp | |
| parent | 6e6d2b59538a010b61434387498afa594434cfa9 (diff) | |
Split parser state from parser classparser-state
This commit splits the parser state from the parser class.
Diffstat (limited to 'src/printer/tptp/tptp_printer.cpp')
0 files changed, 0 insertions, 0 deletions