typo

64c3fda3 · Ralf Jung · 41b8ab22 · 64c3fda3
Commit 64c3fda3 authored Jan 06, 2017 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

Makefile Makefile +1 -1

No files found.
--- a/Makefile
+++ b/Makefile
@@ -36,7 +36,7 @@ build-dep:
 	opam install coq-iris --deps-only $(YFLAG)
 	opam pin remove coq-iris

-# some fiels that do *not* need to be forwarded to Makefile.coq
+# Some files that do *not* need to be forwarded to Makefile.coq
 Makefile: ;
 _CoqProject: ;
 awk.Makefile: ;