Commit cde1583a authored by Daniel Honsel's avatar Daniel Honsel
Browse files

fixed bug

parent 24a2e0db

de.ugoe.cs.swe.TTCN3/src/de/ugoe/cs/swe/validation/TTCN3Validator.xtend

+4 −1
Original line number Diff line number Diff line
@@ -274,6 +274,9 @@ class TTCN3Validator extends AbstractTTCN3Validator { 
		var isSendTemplate = false;

		var isAmbiguous = false;

		

		if (!activeProfile.checkNamingConventions)

			return;

		

		// check if it is not a present restriction, but a restriction

		if (templateDef.restriction != null && templateDef.restriction.present == null) {

			for (p : template.parList.params) {