Add missing blackslash-to-slash convertion to smtio.py (matching Smt2Worker::get_id...

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

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index 68783e744dfff7b5f71a9e77e1eba6db57cb9e1e..ab20a4af2ce28a70aaa916e05114ed43447b8e55 100644 (file)
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -784,7 +784,7 @@ class SmtIo:
 
     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])