X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fi18n.h;h=db15bad86940a955f0a0a942af548a8a7b177edb;hb=51996c07fc2b308ad29dcbaa93e4d5d3d21b3331;hp=0633ebc82f807b9fb1d89429c3bf99fa9699930c;hpb=6f48190d3435800eec4984e927757242dafaef45;p=pspp-builds.git

diff --git a/src/libpspp/i18n.h b/src/libpspp/i18n.h
index 0633ebc8..db15bad8 100644
--- a/src/libpspp/i18n.h
+++ b/src/libpspp/i18n.h
@@ -36,5 +36,8 @@ enum conv_id
 char * recode_string (enum conv_id how,  const char *text, int len);
 
 
+/* Return the decimal separator according to the
+   system locale */
+char get_system_decimal (void);
 
 #endif /* i18n.h */