1.1 --- a/src/Tools/isac/BridgeJEdit/SPARK_FDL.thy	Thu Apr 29 12:43:50 2021 +0200
     1.2 +++ b/src/Tools/isac/BridgeJEdit/SPARK_FDL.thy	Thu Apr 29 14:13:11 2021 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4    imports Complex_Main
     1.5  begin
     1.6  
     1.7 -ML_file fdl_lexer.ML
     1.8 -ML_file fdl_parser.ML
     1.9 +ML_file fdl_lexer.ML  (*replace with native Isabelle*)
    1.10 +ML_file fdl_parser.ML (*replace with native Isabelle*)
    1.11  
    1.12  end
    1.13 \ No newline at end of file