/*************
 * Header file for printnum.c
 * 1999 E. Rouat
 ************/

#ifndef ngspice_PRINTNUM_H
#define ngspice_PRINTNUM_H

void printnum(char * buf, double num);

#endif