From 9b5401811e0db5e23d2ac7642f319a8964c25e3e Mon Sep 17 00:00:00 2001
From: Olof Kindgren <olof.kindgren@gmail.com>
Date: Mon, 21 Oct 2019 15:26:31 +0200
Subject: [PATCH] servant: Only ignore memfile for verilator

---
 servant/servant.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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))