diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-05-02 15:49:05 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-05-02 15:49:05 -0700 |
| commit | 09f05443d60b0edf61d29acd5ca17d35b932a5cc (patch) | |
| tree | 633fbf7bf2102304ae23dc7be9a794fe91b05211 /src/parser/parser_builder.cpp | |
| parent | d3f4ac852146c41341e485d9035f3631993e3fa5 (diff) | |
Fix warnings in proof code
Adds missing `override`s and removes the `inline` keyword from a
function that is defined in the source file.
Diffstat (limited to 'src/parser/parser_builder.cpp')
0 files changed, 0 insertions, 0 deletions