summaryrefslogtreecommitdiff
path: root/parse/parse.h
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2017-07-09 23:22:55 -0700
committerOri Bernstein <ori@eigenstate.org>2017-07-09 23:22:55 -0700
commitc865961b4fbba0243c2f548e4373bb03d223d52f (patch)
tree2063f020b0e57c9c111594b26750adfe4cf19120 /parse/parse.h
parentbdc4c578cc328adaaa6cc19f9623143276beecee (diff)
downloadmc-c865961b4fbba0243c2f548e4373bb03d223d52f.tar.gz
Mark things as static.
Diffstat (limited to 'parse/parse.h')
-rw-r--r--parse/parse.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/parse/parse.h b/parse/parse.h
index d6d1024..ae76c0a 100644
--- a/parse/parse.h
+++ b/parse/parse.h
@@ -7,6 +7,7 @@ typedef struct Tok Tok;
typedef struct Node Node;
typedef struct Ucon Ucon;
typedef struct Stab Stab;
+typedef struct Tyenv Tyenv;
typedef struct Type Type;
typedef struct Trait Trait;