From: root <root@plrg-1.ics.uci.edu>
Date: Tue, 31 Dec 2019 06:25:00 +0000 (-0800)
Subject: bug fix
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=06e698d4ca55451771b8cfcd71f03088447464f7;hp=06e698d4ca55451771b8cfcd71f03088447464f7

bug fix
---