fix Makefile bug

diff --git a/Makefile b/Makefile
index a691257..97de58b 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -24,7 +24,7 @@ build/Makefile.coq: $(coqfiles) src/categories/src
 
 src/categories/src:
        git submodule update --init src/categories
-       cd compiler/categories; git checkout master
+       cd src/categories; git checkout master
 
 clean:
        rm -rf build