fix imports

statebox · Aug 30, 2019 · 6a9013f · 6a9013f
1 parent 5a8944d
commit 6a9013f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Free/Finite/FinPathCategory.lidr b/src/Free/Finite/FinPathCategory.lidr
@@ -23,8 +23,8 @@ along with this program.  If not, see <https://www.gnu.org/licenses/>.
 >
 > import Basic.Category
 > import Data.Vect
-> import Free.FinGraph
-> import Free.FinPath
+> import Free.Finite.FinGraph
+> import Free.Finite.FinPath
 >
 > %access public export
 > %default total