Revert "previous commit requires lots of changes in other modules so introduce a...
authorS.Çağlar Onur <caglar@cs.princeton.edu>
Tue, 25 Jan 2011 15:53:23 +0000 (10:53 -0500)
committerS.Çağlar Onur <caglar@cs.princeton.edu>
Tue, 25 Jan 2011 15:53:23 +0000 (10:53 -0500)
commit2c849e37d356b5a91584c2a5250e6d031d008b77
treec41a6a2c5d8b64280663f3b64d476e2d84295e3f
parent82edc619621aaf9771d8d38d9bd0e17fa3349cd4
Revert "previous commit requires lots of changes in other modules so introduce a quick hack for now"

This reverts commit cd07242d54498d34d6747e6d0bfd8031f41f282f.
kvariant.sh