diff --git a/hs/.ghci b/hs/.ghci index 292fda1db1..7dd6ba3a29 100644 --- a/hs/.ghci +++ b/hs/.ghci @@ -1,4 +1,4 @@ :set -isrc :set -itest :set -iapp -:load Main Reach.Compiler Reach.Report Reach.Simulator.Server +:load Reach.Compiler Reach.Report Reach.Simulator.Server