From f57cce19ff0b052581b35de2dbafb4baabde8fe9 Mon Sep 17 00:00:00 2001
From: Kamil Rakoczy <krakoczy@antmicro.com>
Date: Fri, 27 Aug 2021 15:27:02 +0200
Subject: [PATCH] Remove not existing file from vivado.tcl

Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com>
---
 tools/vivado.tcl | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tools/vivado.tcl b/tools/vivado.tcl
index 869d2d0..3e8dab0 100644
--- a/tools/vivado.tcl
+++ b/tools/vivado.tcl
@@ -1,2 +1 @@
 set_property is_global_include true [get_files config/common_defines.vh]
-set_property IS_GLOBAL_INCLUDE 1 [get_files include/def.sv]