Commits

Anonymous committed e5bf662

.

Comments (0)

Files changed (1)

 
 
         value itlist_anyresult_lasterror
-          (lst : list (iteratee 'a 'el))
+          (lst : list (iteratee 'el 'a))
          :
-          iteratee 'a 'el
+          iteratee 'el 'a
          =
           match get_any_done lst with
           [ Some x -> x
           ]
         ;
 
-     end
+      end
     ;
 
     open It_add