diff options
author | Tim King <taking@cs.nyu.edu> | 2018-01-08 07:49:23 -0800 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-01-08 09:49:23 -0600 |
commit | e2aa4e37c93749bd186071e38874a7ba5a70b97e (patch) | |
tree | fdda865bf026fdc4289b9e961dc43a69abcc8eb2 /proofs/signatures/th_quant.plf | |
parent | 4ca2baa6299115f0ef46f8580534a73d17a52b66 (diff) |
Remove throw specifiers from datatype. (#1489)
Diffstat (limited to 'proofs/signatures/th_quant.plf')
0 files changed, 0 insertions, 0 deletions