diff options
Diffstat (limited to '')
| -rw-r--r-- | tools/clean-sat.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/clean-sat.c b/tools/clean-sat.c index 4b44a7bcd..4848f97f6 100644 --- a/tools/clean-sat.c +++ b/tools/clean-sat.c @@ -33,4 +33,3 @@ main(int argc, char **argv) return 0; } - |