Add missing blackslash-to-slash convertion to smtio.py (matching Smt2…

…Worker::get_id() behavior)

Signed-off-by: Clifford Wolf <clifford@clifford.at>

backends/smt2/smtio.py

@@ -784,7 +784,7 @@ def get_list(self, expr_list):
 
     def get_path(self, mod, path):
         assert mod in self.modinfo
-        path = path.split(".")
+        path = path.replace("\\", "/").split(".")
 
         for i in range(len(path)-1):
             first = ".".join(path[0:i+1])