From 68d8af71f261e26196816da98a4acb401af14707 Mon Sep 17 00:00:00 2001
From: Olof Kindgren <olof.kindgren@gmail.com>
Date: Thu, 5 Dec 2019 22:35:14 +0100
Subject: [PATCH] Use serv_rf_top in default and lint targets

---
 serv.core | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/serv.core b/serv.core
index 868cfdf..9fcb717 100644
--- a/serv.core
+++ b/serv.core
@@ -27,7 +27,7 @@ targets:
   default:
     filesets : [core]
     parameters : [RISCV_FORMAL, SERV_CLEAR_RAM]
-    toplevel : ["is_toplevel? (serv_top)"]
+    toplevel : ["is_toplevel? (serv_rf_top)"]
 
   lint:
     default_tool : verilator
@@ -35,7 +35,7 @@ targets:
     tools:
       verilator:
         mode : lint-only
-    toplevel : serv_top
+    toplevel : serv_rf_top
 
 parameters:
   RISCV_FORMAL: