diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2003-09-30 20:11:29 +0000 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2003-09-30 20:11:29 +0000 |
| commit | 39a06c251ad9c523b1172835e545d2043431873d (patch) | |
| tree | e68a4e6768ff8e51be61dd3425bf63e3989581cc /src/reader.h | |
| parent | 7f41b888214850deb3a2563cb07a4925f8b62bf5 (diff) | |
| download | bison-39a06c251ad9c523b1172835e545d2043431873d.tar.gz | |
Add %default-prec.
Diffstat (limited to 'src/reader.h')
| -rw-r--r-- | src/reader.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/reader.h b/src/reader.h index a86f139f..fc6ee7d6 100644 --- a/src/reader.h +++ b/src/reader.h @@ -73,5 +73,6 @@ void free_merger_functions (void); extern merger_list *merge_functions; extern bool typed; +extern bool default_prec; #endif /* !READER_H_ */ |