From: Siraaj Khandkar Date: Sun, 16 Sep 2018 23:36:51 +0000 (-0400) Subject: Fix grammar - allow empty set of record fields X-Git-Url: https://git.xandkar.net/?a=commitdiff_plain;ds=inline;h=5064180424a02cd59491bc87a43175fbf04d147c;hp=5064180424a02cd59491bc87a43175fbf04d147c;p=tiger.ml.git Fix grammar - allow empty set of record fields ---