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:55:04 +0000 (10:55 -0500)
committerS.Çağlar Onur <caglar@cs.princeton.edu>
Tue, 25 Jan 2011 15:55:04 +0000 (10:55 -0500)
commit10289ab1aeab7f9cef4e88c5a2fa4d6af651d183
treecc43e6f22a1ffdcd50668a88479f830f00ab72fc
parent6931f069c718b50744ae11a74dd455ef53351284
Revert "previous commit requires lots of changes in other modules so introduce a quick hack for now"

This reverts commit 9fad43f5f4984e781b9ea37360759f3648e770a2.
kvariant.sh