summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2022-12-31 14:25:53 +0100
committerGitHub <noreply@github.com>2022-12-31 14:25:53 +0100
commitf048a027a23f8d567da71f12700656facf69f25c (patch)
tree043af2fa667140692846588c51cc245a112ae51b
parent83ef99f67fda11b268098a271f56b990e295bbc2 (diff)
parentea8b79eda165722d04b369f1811a5aa80ab5acc6 (diff)
downloadocaml-f048a027a23f8d567da71f12700656facf69f25c.tar.gz
Merge pull request #11845 from edwintorok/5.0-clang
removed set but unused variables in yacc/reader.c (#11758)
-rw-r--r--yacc/reader.c3
1 files changed, 0 insertions, 3 deletions
diff --git a/yacc/reader.c b/yacc/reader.c
index 7377967994..7a0b888961 100644
--- a/yacc/reader.c
+++ b/yacc/reader.c
@@ -1049,12 +1049,10 @@ void read_declarations(void)
void output_token_type(void)
{
bucket * bp;
- int n;
fprintf(interface_file, "type token =\n");
if (!rflag) ++outline;
fprintf(output_file, "type token =\n");
- n = 0;
for (bp = first_symbol; bp; bp = bp->next) {
if (bp->class == TERM && bp->true_token) {
fprintf(interface_file, " | %s", bp->name);
@@ -1068,7 +1066,6 @@ void output_token_type(void)
fprintf(interface_file, "\n");
if (!rflag) ++outline;
fprintf(output_file, "\n");
- n++;
}
}
fprintf(interface_file, "\n");