michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

test(library/rewriter/fo_match): clean up enable_trace

Browse source
This commit is contained in:
Soonho Kong 2013-09-29 17:11:52 -07:00
parent 8d3ae665e7
commit 54f4c4d9bc
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/tests/library/rewriter/fo_match.cpp
View file

@ -457,7 +457,6 @@ int main() {
match_let_tst7(); match_let_tst7();
match_let_tst8(); match_let_tst8();
match_let_tst9(); match_let_tst9();
enable_trace("fo_match");
match_eq_tst1(); match_eq_tst1();
match_eq_tst2(); match_eq_tst2();
match_eq_tst3(); match_eq_tst3();