Added an ace mode, and put the SMT entry in the correct place, maybe.

This commit is contained in:
Ian A. Mason
2015-07-01 11:22:04 -07:00
parent 0585c880de
commit 77bc72be14
2 changed files with 20 additions and 19 deletions