From 92c1bc2149ea9ce3af2a8ba1e05d6cc419813b5b Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Sun, 13 Feb 2022 11:00:23 +0800
Subject: [PATCH] core: remove legacy synthesized filename

---
 artiq/coredevice/core.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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