diff --git a/artiq/coredevice/core.py b/artiq/coredevice/core.py
index e4781fbec..9cf9a6117 100644
--- a/artiq/coredevice/core.py
+++ b/artiq/coredevice/core.py
@@ -238,7 +238,7 @@ def symbolize(library, addresses):
             location = next(lines)
 
             filename, line = location.rsplit(":", 1)
-            if filename == "??" or filename == "<synthesized>":
+            if filename == "??":
                 continue
             if line == "?":
                 line = -1