diff options
| author | Robert Norton | 2016-08-01 17:24:00 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-08-01 17:24:00 +0100 |
| commit | 904decae2f9e37d50aa85bd6478ce46d93751973 (patch) | |
| tree | eaa53dd76b0ba9d2d782b909a920e1dbfc1ba637 /src/initial_check.ml | |
| parent | cf9ae21a76aa0e5e98633847d4468a8d813b0a72 (diff) | |
Remove raise_c2_exception_v function which is not needed after permissions merge and no longer appears in spec.
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions