fix

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@115 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

Author: kroening

COMPILING

@@ -28,7 +28,7 @@ Follow these instructions:
 
 2) Adjust src/config.inc for the paths to a).
 
-3) Adjust src/solvers/satcheck.h to select which SAT solver to use
+3) Adjust src/solvers/sat/satcheck.h to select which SAT solver to use
    as the default.
 
 4) Adjust the file src/utils/hash_cont.h