diff options
author | Clark Barrett <barrett@cs.stanford.edu> | 2017-04-21 15:09:33 -0700 |
---|---|---|
committer | Clark Barrett <barrett@cs.stanford.edu> | 2017-04-21 15:09:33 -0700 |
commit | 8740a03cf22b0e05bbdab4cdd799cb7469a6ae6e (patch) | |
tree | 4cb6094be4ea788469d6333005bf27b6e06f62ea /README | |
parent | 23e5362ba8d356b72ba8b488278327cf43c59f66 (diff) |
Fix for bug 681 (now gives reasonable error message about using constant
arrays).
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions