diff --git a/src/main.cpp b/src/main.cpp
index adb7c2fa516bc83bb8f412e9bbe78566428225d6..178e8e7abb7188c2eb74bfa555e6b889bcc0f0f8 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -304,10 +304,16 @@ int main(int argc, char** argv)
         if(nb_th>1)
         {
             cout<<"**************Hybrid version**************** \n" <<endl;
-            HybridSOG DR(R, bound);
-
-            LDDGraph g(&DR);
-            DR.computeDSOG(g);
+            if (strcmp(argv[1],"otf")) {
+                HybridSOG DR(R, bound);
+                LDDGraph g(&DR);
+                cout<<"Building the Distributed SOG"<<endl;
+                DR.computeDSOG(g);
+            }
+            else {
+                cout<<"Model checking on the fly..."<<endl;
+            }
+            
         }
         else
         {