Specifically use OF1.3 switches

Change-Id: Ibee75a71cf5c6ed04276139d31d5fbf09c6bb4af
diff --git a/TestON/tests/HAclusterRestart/HAclusterRestart.topo b/TestON/tests/HAclusterRestart/HAclusterRestart.topo
index 5f87b9d..fecca38 100644
--- a/TestON/tests/HAclusterRestart/HAclusterRestart.topo
+++ b/TestON/tests/HAclusterRestart/HAclusterRestart.topo
@@ -151,7 +151,7 @@
                 #Specify the Option for mininet
                 <arg1> --custom ~/mininet/custom/obelisk.py </arg1>
                 <arg2> --topo obelisk </arg2>
-                <arg3> </arg3>
+                <arg3> --switch ovs,protocols=OpenFlow13 </arg3>
                 <controller> none </controller>
             </COMPONENTS>
         </Mininet1>