Update prag.m