fix imports

clayrat · clayrat · commit 6a9013fb289d · 2019-08-30T13:44:02.000+03:00
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

Original file line number	Diff line number	Diff line change
`@@ -23,8 +23,8 @@ along with this program. If not, see <https://www.gnu.org/licenses/>.`
`23`	`23`	`>`
`24`	`24`	`> import Basic.Category`
`25`	`25`	`> import Data.Vect`
`26`		`-> import Free.FinGraph`
`27`		`-> import Free.FinPath`
	`26`	`+> import Free.Finite.FinGraph`
	`27`	`+> import Free.Finite.FinPath`
`28`	`28`	`>`
`29`	`29`	`> %access public export`
`30`	`30`	`> %default total`