Fixed typo

Vekhir · Mar 18, 2020 · 83e4fa5 · 83e4fa5
1 parent 0380bb9
commit 83e4fa5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/idris.cabal b/idris.cabal
@@ -76,7 +76,7 @@ Extra-doc-files:
                        samples/tutorial/*.idr
                        samples/ST/*.idr
                        samples/ST/Graphics/*.idr
-                       samples/ST/NET/*.idr
+                       samples/ST/Net/*.idr
                        samples/misc/*.lidr
 
 -- extra-source-files is generated by Setup.hs using `git --ls-files`.