Searched refs:current_float_type (Results 1 – 3 of 3) 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