diff --git a/Libraries/iTasks/UI/Layout.icl b/Libraries/iTasks/UI/Layout.icl index 203488e1ad2387d992aa2fd6a5afc561294e99a3..d2227118928eae4d0e90d2894be4754ecc208e01 100644 --- a/Libraries/iTasks/UI/Layout.icl +++ b/Libraries/iTasks/UI/Layout.icl @@ -937,6 +937,7 @@ extractDownstreamChange (lui,moves) (Just (InsertChild ui), Just lui) = (ReplaceUI ui,(lui,moves)) (Just RemoveChild, Just lui) = (ReplaceUI (UI UIEmpty 'DM'.newMap []),(lui,moves)) (Just (ChangeChild change), Just lui) = (change,(lui,moves)) + (Nothing, Just lui) = (NoChange,(lui,moves)) _ = abort "extractDownstreamChange: at the top-level, an lui should always be returned" //For each node we need to extract one of the following changes: