src/Tools/Haskell/haskell.ML
changeset 69233 560263485988
parent 69227 71b48b749836
child 69239 6cd985a78d6e
     1.1 --- a/src/Tools/Haskell/haskell.ML	Sun Nov 04 12:07:24 2018 +0100
     1.2 +++ b/src/Tools/Haskell/haskell.ML	Sun Nov 04 15:28:51 2018 +0100
     1.3 @@ -47,6 +47,7 @@
     1.4  
     1.5  val source_modules =
     1.6   [\<^file>\<open>~~/src/Tools/Haskell/Library.hs\<close>,
     1.7 +  \<^file>\<open>~~/src/Tools/Haskell/Value.hs\<close>,
     1.8    \<^file>\<open>~~/src/Tools/Haskell/Buffer.hs\<close>,
     1.9    \<^file>\<open>~~/src/Tools/Haskell/Properties.hs\<close>,
    1.10    \<^file>\<open>~~/src/Tools/Haskell/Markup.hs\<close>,