Merge branch 'master' of https://github.com/dafny-lang/dafny

Author: davidcok

Test/lit.site.cfg

@@ -163,7 +163,7 @@ for root in potentialSolverRoots:
                 z3Path = potentialPath
 
 if not z3Path:
-    lit_config.fatal('Could not find solver ' + potentialSolverRoots + ' ' + potentialSolverExecutables)
+    lit_config.fatal('Could not find solver')
 config.substitutions.append( ('%z3', z3Path ) )
 
 # Add diff tool substitution