X-Git-Url: https://rtime.felk.cvut.cz/gitweb/fpga/lx-cpu1/lx-dad.git/blobdiff_plain/f6ad3f5023804a2f83e289434ca3d398d6171735..727f8eb717f97b5091b97deebe75370601e9cedd:/hw/tb/Makefile

diff --git a/hw/tb/Makefile b/hw/tb/Makefile
index 7a7fd2c..537c798 100644
--- a/hw/tb/Makefile
+++ b/hw/tb/Makefile
@@ -19,7 +19,7 @@ SRC+=lx_dad_top_tb.vhd
 CFLAGS += -Wall
 
 GHDLFLAGS+=
-ANALYZEFLAGS+=--std=93c --ieee=synopsys -fexplicit -ggdb
+ANALYZEFLAGS+=--std=93c -fexplicit -ggdb
 
 #SIM_FLAGS=--stop-time=1000ns #--ieee-asserts=disable