From f05275f70ed33fb296a289238ac0a76df5cb9ed7 Mon Sep 17 00:00:00 2001
From: juehv <heuschkel@tk.tu-darmstadt.de>
Date: Tue, 6 Dec 2016 15:22:20 +0100
Subject: change vhdl tests from ecma to promela

---
 test/CMakeLists.txt | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt
index 850aa21..0c09457 100644
--- a/test/CMakeLists.txt
+++ b/test/CMakeLists.txt
@@ -159,8 +159,10 @@ if (NOT BUILD_MINIMAL)
 			# "gen/c/xpath"
 			"gen/c/lua"
 			# "gen/c/promela"
-			"gen/vhdl/ecma"
+			# "gen/vhdl/ecma"
+			"gen/vhdl/promela"
 			"gen/vhdl/null"
+
 			"gen/java/jexl"
 
 			# bindings
-- 
cgit v0.12