1
1
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00

Re-export TermEvaluator.

This commit is contained in:
Rob Rix 2018-05-15 11:45:32 -04:00
parent 8c82e1f4a2
commit a200a43099

View File

@ -12,4 +12,5 @@ import Control.Abstract.Heap as X
import Control.Abstract.Goto as X import Control.Abstract.Goto as X
import Control.Abstract.Modules as X import Control.Abstract.Modules as X
import Control.Abstract.Roots as X import Control.Abstract.Roots as X
import Control.Abstract.TermEvaluator as X
import Control.Abstract.Value as X import Control.Abstract.Value as X