X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=intro%2Flst%2Fsharedlist.icl;h=b29e8bece2039a8dd804584fbc9ca5524fdffe7e;hb=066dd25d4da01798ce7a5dd2c96e47040fa908d8;hp=8b0e35c0f25ab0167a7a6a307e114fe4e7747bd8;hpb=c590c9a29ba0f88f0a4b19b3be89ed6c52bfd0f9;p=phd-thesis.git

diff --git a/intro/lst/sharedlist.icl b/intro/lst/sharedlist.icl
index 8b0e35c..b29e8be 100644
--- a/intro/lst/sharedlist.icl
+++ b/intro/lst/sharedlist.icl
@@ -15,7 +15,7 @@ toDoTask = upToDos/*\label{lst:todo_update}*/
 
 upToDos :: Task [ToDo]
 upToDos = updateSharedInformation [] todos <<@ Title "My todo-list"/*\label{lst:todo_ui}\label{lst:todo_editor}*/
-	>>* [ OnAction (Action "Sort") (hasValue \_->upd sort todos >-| upToDos)/*\label{lst:todo_ui}\label{lst:todo_contfro}*/
+	>>* [ OnAction (Action "Sort") (hasValue \_->upd sort todos >-| upToDos)/*\label{lst:todo_contfro}*/
 	    , OnAction (Action "Clear") (always (set [] todos >-| upToDos))
 	    , OnAction (Action "Quit") (always (get todos))/*\label{lst:todo_ui}\label{lst:todo_contto}*/
 	    ]