Commit 31c62d10 authored by Heiko Becker's avatar Heiko Becker

Add appropriate fetching of side conditions

parent ba63dafc
......@@ -367,13 +367,15 @@ val validerrorboundcmd_side_def = fetch "-" "validerrorboundcmd_side_def";
val certificatecheckercmd_side_def = fetch "-" "certificatecheckercmd_side_def";
val parsefrac_side_def = fetch "-" "parsefrac_side_def";
val parseexp_side_def = fetch "-" "parseexp_side_def"; (* TODO: Prove this equal to true *)
val parseiv_side_def = fetch "-" "parseiv_side_def";
val parselet_side_def = fetch "-" "parselet_side_def";
val parseprecond_side_def = fetch "-" "parseprecondrec_side_def";
val parseret_side_def = fetch "-" "parseret_side_def";
val parseprecond_side_def = fetch "-" "parseprecond_side_def";
val parseabsenvrec_side_def = fetch "-" "parseabsenvrec_side_def";
val parseabsenv_side_def = fetch "-" "parseabsenv_side_def";
val parse_side_def = fetch "-" "parse_side_def";
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment