diff options
author | Arnur Nigmetov <nigmetov@tugraz.at> | 2020-02-19 17:42:41 +0100 |
---|---|---|
committer | Arnur Nigmetov <nigmetov@tugraz.at> | 2020-02-19 17:42:41 +0100 |
commit | f62d98e76b9dff173f9144caddff1217d0bb81a9 (patch) | |
tree | 4ea6a6d894114c0d98c91079edfcc59d0611eb14 /matching/include/persistence_module.h | |
parent | be93a006a3f2c630abf9d0169a70e6292ac7504f (diff) |
Require first file line specify the format.
1. Input format must be in the first line
of input file, as in RIVET.
2. Disable more unnecessary output.
3. Get rid of some warnings.
Diffstat (limited to 'matching/include/persistence_module.h')
0 files changed, 0 insertions, 0 deletions