Searched refs:current_float_type (Results 1 – 4 of 4) sorted by relevance
48 extern char *current_float_type (void);
835 execute_string ("%s", current_float_type ()); in begin_insertion()1170 if (strlen (current_float_type ())) in end_insertion()1171 execute_string ("%s", current_float_type ()); in end_insertion()1175 if (strlen (current_float_type ()) > 0) in end_insertion()1183 if (strlen (current_float_type ()) > 0 in end_insertion()
114 current_float_type (void) in current_float_type() function
3292 * makeinfo/float.h (current_float_type): declare.