fix(config-prime): compilation erorr
fix(config-prime): compilation erorr

ashish-gehani/OCCAM,SRI-CSL/OCCAM,ashish-gehani/OCCAM,ashish-gehani/OCCAM,SRI-CSL/OCCAM,SRI-CSL/OCCAM,SRI-CSL/OCCAM,SRI-CSL/OCCAM,ashish-gehani/OCCAM