From: Brian Demsky <bdemsky@uci.edu>
Date: Thu, 26 Dec 2019 08:02:34 +0000 (-0800)
Subject: Bug fix
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=d02738576d6be6a387d1aaf903b98c94a0a329c6;hp=d02738576d6be6a387d1aaf903b98c94a0a329c6;ds=inline

Bug fix
---