update pa_optcomp.ml

Fix #62