diff --git a/AlgebraicDataflowArchitectureModel/models/SimpleUI5.model b/AlgebraicDataflowArchitectureModel/models/SimpleUI5.model index ca722e7..7d6f424 100644 --- a/AlgebraicDataflowArchitectureModel/models/SimpleUI5.model +++ b/AlgebraicDataflowArchitectureModel/models/SimpleUI5.model @@ -11,12 +11,6 @@ input1 := "input1" input2 := "input2" input3 := "input3" - input1 := "input1" - input2 := "input2" - input3 := "input3" - input1 := "input1" - input2 := "input2" - input3 := "input3" } native channel ScreenUpdate { in screen(curSc: Json, update(curSc, nextSc)) = nextSc