1
1
mirror of https://github.com/github/semantic.git synced 2024-11-28 01:47:01 +03:00

Correct the import.

This commit is contained in:
Rob Rix 2019-10-11 12:21:04 -04:00
parent 3700cb5106
commit 6bfd33e7bc
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7

View File

@ -235,5 +235,5 @@ data EdgeType term name
-- $setup
-- >>> :seti -XFlexibleContexts
-- >>> :seti -XOverloadedStrings
-- >>> import Analysis.Eval (eval)
-- >>> import Core.Eval (eval)
-- >>> import qualified Core.Core as Core