Skip to content

Commit

Permalink
fix imports
Browse files Browse the repository at this point in the history
  • Loading branch information
@clayrat @marcosh
clayrat authored and marcosh committed Nov 6, 2019
1 parent b2dbd81 commit 3a7f016
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/Free/Finite/FinPathCategory.lidr
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 3a7f016

Please sign in to comment.