Merge pull request #3083 from yanchen036/master
authorJon Long <jonlong@cs.berkeley.edu>
Sat, 19 Sep 2015 02:56:20 +0000 (19:56 -0700)
committerJon Long <jonlong@cs.berkeley.edu>
Sat, 19 Sep 2015 02:56:20 +0000 (19:56 -0700)
refine format of switch case statement in solver


Trivial merge