diff --git a/adeterminize/src/VPADeterminizationUtils.cpp b/adeterminize/src/VPADeterminizationUtils.cpp
index b08063e169498d14b449a5945ae79df4dad2a0a7..474cea571e3ba813401a346b941c309925294db7 100644
--- a/adeterminize/src/VPADeterminizationUtils.cpp
+++ b/adeterminize/src/VPADeterminizationUtils.cpp
@@ -28,7 +28,7 @@ string VPADeterminizationUtils::buildStateName(const SComponent& s, const RCompo
 
 
 const State& VPADeterminizationUtils::getOrCreateState(const SComponent& s, const RComponent& r, map<string,
-        StateData>& states,PDA& deterministicVPA) {
+        StateData>& states, PDA& deterministicVPA) {
     string stateName = buildStateName(s, r);
 
     map<string, StateData>::iterator statesIter = states.find(stateName);