1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 0c26d57..1d328ec 100644
--- a/Makefile
+++ b/Makefile
@@ -12,7 +12,7 @@ COQMAKE := "$(COQBIN)coq_makefile"
 
 COQUPDIRS := translation common verilog
 VSSUBDIR := $(foreach d, $(COQUPDIRS), src/$(d)/*.v)
-VS := src/Compiler.v $(VSSUBDIR)
+VS := src/Compiler.v src/Simulator.v $(VSSUBDIR)
 
 PREFIX ?= .