diff --git a/SConstruct b/SConstruct
index 2662e84beee955d6befa19dcf5ab2dc7327e3eca..b55ee77e3b3cb4e3543e87aa37af27e8649ef7ab 100644
--- a/SConstruct
+++ b/SConstruct
@@ -2,7 +2,7 @@
 # This file is distributed under the terms of the BSD license.
 import os, glob, string
 
-modules = ["prelude", "modures", "iris"]
+modules = ["prelude", "modures", "iris", "barrier"]
 Rs = '-Q . ""'
 env = DefaultEnvironment(ENV = os.environ,tools=['default', 'Coq'], COQFLAGS=Rs)