Update flambda.comp