From: Mart Lubbers <mart@martlubbers.net>
Date: Sun, 10 Apr 2016 19:37:58 +0000 (+0200)
Subject: add type of vardecl expr to gamma
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=7a0e15a68547d29a87dd0c56d6f5a731d0cd67aa;hp=7a0e15a68547d29a87dd0c56d6f5a731d0cd67aa;p=cc1516.git

add type of vardecl expr to gamma
---