Index: Jenkins/FullBuild
===================================================================
--- Jenkins/FullBuild	(revision 849de650c90993d9f08cce62184f59412c717b3b)
+++ Jenkins/FullBuild	(revision a25f64b124b1e5dda19b4c40f32905be1b14b4e6)
@@ -60,5 +60,5 @@
 //===========================================================================================================
 
-def trigger_build(String cc, String arch, Bool new_ast) {
+def trigger_build(String cc, String arch, boolean new_ast) {
 	def result = build job: 'Cforall/master', 		\
 		parameters: [						\