# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 802403074 0
# Node ID 73e305c8239bb7bc6c45bc37379441fac53de353
# Parent  f7cb17ca1815b07ee0c57be9d58edba0e71aedc7
(Fvertical_motion): Add cast.

diff -r f7cb17ca1815 -r 73e305c8239b src/indent.c
--- a/src/indent.c	Tue Jun 06 01:43:42 1995 +0000
+++ b/src/indent.c	Tue Jun 06 01:44:34 1995 +0000
@@ -1226,7 +1226,7 @@
   else
     window = selected_window;
 
-  pos = *vmotion (point, XINT (lines), XWINDOW (window));
+  pos = *vmotion (point, (int) XINT (lines), XWINDOW (window));
 
   SET_PT (pos.bufpos);
   return make_number (pos.vpos);