tree cc77a7ea1bb962f369fabb65119ef3da6e3c8315
parent 74c890d74d192d5e34b92d6eb2357e19fa6d17c8
author Lorenzo Bettini <lorenzo.bettini@gmail.com> 1518102365 +0100
committer Lorenzo Bettini <lorenzo.bettini@gmail.com> 1518102365 +0100

improved check in DSL validator

Change-Id: I8e46db3c7c2de927abe9b2cf612a434af562bf87
Signed-off-by: Lorenzo Bettini <lorenzo.bettini@gmail.com>