diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-04-10 16:38:37 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-04-10 16:45:56 -0400 |
commit | 65128efc1d0a4c2007ebb7b47712888481c07843 (patch) | |
tree | e4cd01c8712c1a05fcd4bb660c921e83d7e82830 /src/printer | |
parent | 06f26f17c9a2fb0fbf56143cd4c06a19586ca0c8 (diff) |
Boolean terms conversion fix for datatypes, fixes a problem Andy discovered on his branch.
Diffstat (limited to 'src/printer')
0 files changed, 0 insertions, 0 deletions