diff --git a/AlgebraicDataflowArchitectureModel/models/POS2.model b/AlgebraicDataflowArchitectureModel/models/POS2.model
index 6988d7e..6ae676d 100644
--- a/AlgebraicDataflowArchitectureModel/models/POS2.model
+++ b/AlgebraicDataflowArchitectureModel/models/POS2.model
@@ -10,5 +10,5 @@
 channel C2 {
 	in payment(p1, update2(z)) == z
 	out history(h:List, update2(z)) == cons(z, h)
-	out total(t:Int, update3(z)) == z + t
+	out total(t:Int, update2(z)) == z + t
 }
\ No newline at end of file