diff --git a/AlgebraicDataflowArchitectureModel/models/POS.model b/AlgebraicDataflowArchitectureModel/models/POS.model index 9b13485..bb5dd66 100644 --- a/AlgebraicDataflowArchitectureModel/models/POS.model +++ b/AlgebraicDataflowArchitectureModel/models/POS.model @@ -4,7 +4,7 @@ channel C1 { in payment(p, update1(y)) == y - out loyalty(l, update1(y)) == floor(y * 0.05) + out points(l, update1(y)) == floor(y * 0.05) } channel C2 {