Commit ff64a0b5 authored by tepelmann's avatar tepelmann
Browse files

Minor change.

parent a0bf2a98
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -222,7 +222,7 @@ module LibItsDenm_Functions {
                        log("*** f_utCheckEvent: Event correctly indicated at application layer ***");
                    }
                    else {
                        f_selfOrClientSyncAndVerdict("error", e_error, "*** f_utCheckEvent: Event indicated at application layer where should not appear ***");
                        f_selfOrClientSyncAndVerdict("error", e_error, "*** f_utCheckEvent: Event indicated at application layer where should it should be discarded ***");
                    }
                }
                [] utPort.receive {