diff --git a/servant/servant.v b/servant/servant.v
index ca2b24e..1bbcf26 100644
--- a/servant/servant.v
+++ b/servant/servant.v
@@ -116,7 +116,7 @@ serv_arbiter serv_arbiter
 
    servant_ram
      #(
-`ifdef SYNTHESIS
+`ifndef VERILATOR
 .memfile (memfile),
 `endif
        .depth (memsize))