summaryrefslogtreecommitdiff
path: root/parse/parse.h
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2017-08-19 18:30:29 -0700
committerOri Bernstein <ori@eigenstate.org>2017-08-19 18:52:14 -0700
commitdfed30d87b4f9dbae24b16ddd32ea0be69a5d602 (patch)
treea9e5d3932c6ab18e190e915de78d0792a62b9b7b /parse/parse.h
parentbd96cb6a0a361a62871f70c07fc350bc2264b087 (diff)
downloadmc-dfed30d87b4f9dbae24b16ddd32ea0be69a5d602.tar.gz
File is already global.
Let's use it.
Diffstat (limited to 'parse/parse.h')
-rw-r--r--parse/parse.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/parse/parse.h b/parse/parse.h
index 1fc3ac9..b142c33 100644
--- a/parse/parse.h
+++ b/parse/parse.h
@@ -550,7 +550,7 @@ void addextlibs(Node *file, char **libs, size_t nlibs);
Node *fold(Node *n, int foldvar);
/* typechecking/inference */
-void infer(Node *file);
+void infer(void);
Type *tysearch(Type *t);
/* debug */