diff options
| author | Tuowen Zhao <ztuowen@gmail.com> | 2016-10-12 17:17:33 -0600 |
|---|---|---|
| committer | Tuowen Zhao <ztuowen@gmail.com> | 2016-10-12 17:17:33 -0600 |
| commit | 43a22099d0f62f90306f47fa29471ca62b53eebd (patch) | |
| tree | e8d38c27aa9425bfbee09dca986e97aa30bcf00c /lib | |
| parent | b75ada05fe0e59efa0d5cb09487e76895c885db7 (diff) | |
| download | chill-43a22099d0f62f90306f47fa29471ca62b53eebd.tar.gz chill-43a22099d0f62f90306f47fa29471ca62b53eebd.tar.bz2 chill-43a22099d0f62f90306f47fa29471ca62b53eebd.zip | |
added lexical ordering
Diffstat (limited to 'lib')
| -rwxr-xr-x | lib/codegen/src/codegen.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/codegen/src/codegen.cc b/lib/codegen/src/codegen.cc index 0036c3e..0681760 100755 --- a/lib/codegen/src/codegen.cc +++ b/lib/codegen/src/codegen.cc @@ -273,7 +273,6 @@ CG_result *CodeGen::buildAST(int level, const BoolSet<> &active, bool split_on_c if (r.is_obvious_tautology()) continue; r = EQs_to_GEQs(r); - r.print(); for (GEQ_Iterator e = r.single_conjunct()->GEQs(); e; e++) { if ((*e).has_wildcards()) |