diff -r 2b913054a9cf -r 560263485988 src/Tools/Haskell/haskell.ML
--- a/src/Tools/Haskell/haskell.ML	Sun Nov 04 12:07:24 2018 +0100
+++ b/src/Tools/Haskell/haskell.ML	Sun Nov 04 15:28:51 2018 +0100
@@ -47,6 +47,7 @@
 
 val source_modules =
  [\<^file>\<open>~~/src/Tools/Haskell/Library.hs\<close>,
+  \<^file>\<open>~~/src/Tools/Haskell/Value.hs\<close>,
   \<^file>\<open>~~/src/Tools/Haskell/Buffer.hs\<close>,
   \<^file>\<open>~~/src/Tools/Haskell/Properties.hs\<close>,
   \<^file>\<open>~~/src/Tools/Haskell/Markup.hs\<close>,