src/Pure/ROOT.ML
changeset 62911 78e03d8bf1c4
parent 62908 d7009a515733
child 62912 745d31e63c21
     1.1 --- a/src/Pure/ROOT.ML	Thu Apr 07 21:27:17 2016 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Thu Apr 07 21:39:03 2016 +0200
     1.3 @@ -273,7 +273,7 @@
     1.4  ML_file "Proof/extraction.ML";
     1.5  
     1.6  (*Isabelle system*)
     1.7 -ML_file "System/$ISABELLE_WINDOWS_PREFIX/bash.ML";
     1.8 +ML_file "System/bash.ML";
     1.9  ML_file "System/isabelle_system.ML";
    1.10  
    1.11