1
1
mirror of https://github.com/github/semantic.git synced 2025-01-03 13:02:37 +03:00

Rename Abstract.Interpreter.Symbolic to Analysis.Abstract.Symbolic.

This commit is contained in:
Rob Rix 2017-11-30 19:42:41 -05:00
parent c36c257618
commit d66540e574

View File

@ -1,5 +1,5 @@
{-# LANGUAGE FlexibleContexts, FlexibleInstances, MultiParamTypeClasses, RankNTypes, TypeOperators, UndecidableInstances #-} {-# LANGUAGE FlexibleContexts, FlexibleInstances, MultiParamTypeClasses, RankNTypes, TypeOperators, UndecidableInstances #-}
module Abstract.Interpreter.Symbolic where module Analysis.Abstract.Symbolic where
import Abstract.Interpreter import Abstract.Interpreter
import Abstract.Primitive import Abstract.Primitive