rename pci_7seg to raggedstone

[raggedstone] / heartbeat / raggedstone.prj

diff --git a/heartbeat/raggedstone.prj b/heartbeat/raggedstone.prj
index e0adeacf61bce8970c3cc36d43d6937d70eeb7cf..4b24f2b6ce18541d60438a1b43a72ab8a07139b0 100644 (file)
--- a/heartbeat/raggedstone.prj
+++ b/heartbeat/raggedstone.prj
@@ -10,5 +10,5 @@ vhdl work "source/pfs.vhd"
 vhdl work "source/new_pciregs.vhd"
 vhdl work "source/pcipargen.vhd"
 vhdl work "source/new_pci32tlite.vhd"
-vhdl work "source/top_pci_7seg.vhd"
+vhdl work "source/top_raggedstone.vhd"
 vhdl work "source/heartbeat.vhd"