Fix comment.
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 8 Oct 2013 17:43:28 +0000 (18:43 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 8 Oct 2013 17:43:28 +0000 (18:43 +0100)
commitd4e776a52bc5f7716bf2df38c3432db89844c70f
treed812f24659f48690ee404031a355e4feb9758deb
parent389eaef1047e69836f65ce99301d7a2589083581
Fix comment.
pa_goal.ml