Switch default
authorbdemsky <bdemsky@uci.edu>
Tue, 24 Oct 2017 06:06:49 +0000 (23:06 -0700)
committerbdemsky <bdemsky@uci.edu>
Tue, 24 Oct 2017 06:06:49 +0000 (23:06 -0700)
commit09f8f2a1ac7ab3413cf64ab0606ffa437c571c86
tree1e441fa90a18ecc4613442f83cef266fe876dd81
parentf32a4230fd634efd243963a1f0b4e80b18a1b225
Switch default
src/ASTTransform/integerencoding.cc