# HG changeset patch
# User Karn Kallio <kkallio@eka>
# Date 1314005775 16200
# Node ID 4362b15220e49509bf38a2a5d7125bec6982a080
# Parent  2947170fcfd6a5d3078fa303a44a65aec4712e61
Comment corrections based on code review.

diff -r 2947170fcfd6 -r 4362b15220e4 remotePager.urs
--- a/remotePager.urs	Sun Aug 21 11:27:41 2011 -0400
+++ b/remotePager.urs	Mon Aug 22 05:06:15 2011 -0430
@@ -37,7 +37,7 @@
 
 functor Make(M : sig
                  type errorMarker
-                 (* Classifies the possible error conditions returned by the rpc call. *)
+                 (* Classifies the possible error conditions returned by the rpc. *)
 
                  type pageGroup
                  (* Classifies families of pages. *)