Searched refs:current_float_type (Results 1 – 4 of 4) sorted by relevance
50 extern char *current_float_type (void);
837 execute_string ("%s", current_float_type ()); in begin_insertion()1172 if (strlen (current_float_type ())) in end_insertion()1173 execute_string ("%s", current_float_type ()); in end_insertion()1177 if (strlen (current_float_type ()) > 0) in end_insertion()1185 if (strlen (current_float_type ()) > 0 in end_insertion()
116 current_float_type (void) in current_float_type() function
3292 * makeinfo/float.h (current_float_type): declare.