# HG changeset patch
# User jwe
# Date 782431407 0
# Node ID 23de7aa68e3a42a65dd1f686a28d439162674e18
# Parent  0e9df7d20066f128bac157af8202f1686ba8f540
[project @ 1994-10-17 22:03:20 by jwe]

diff -r 0e9df7d20066 -r 23de7aa68e3a src/user-prefs.cc
--- a/src/user-prefs.cc	Mon Oct 17 16:40:47 1994 +0000
+++ b/src/user-prefs.cc	Mon Oct 17 22:03:27 1994 +0000
@@ -39,7 +39,7 @@
 
 // Initialize global user_pref structure.
 
-int
+void
 init_user_prefs (void)
 {
   user_pref.automatic_replot = 0;
diff -r 0e9df7d20066 -r 23de7aa68e3a src/user-prefs.h
--- a/src/user-prefs.h	Mon Oct 17 16:40:47 1994 +0000
+++ b/src/user-prefs.h	Mon Oct 17 22:03:27 1994 +0000
@@ -65,7 +65,7 @@
 
 extern user_preferences user_pref;
 
-extern int init_user_prefs (void);
+extern void init_user_prefs (void);
 
 extern int automatic_replot (void);
 extern int commas_in_literal_matrix (void);