diff options
Diffstat (limited to 'src/jib/c_backend.ml')
| -rw-r--r-- | src/jib/c_backend.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/jib/c_backend.ml b/src/jib/c_backend.ml index b1d6cc40..823925a2 100644 --- a/src/jib/c_backend.ml +++ b/src/jib/c_backend.ml @@ -357,9 +357,7 @@ module C_config(Opts : sig val branch_coverage : bool end) : Config = struct | AE_cast (aexp, typ) -> AE_cast (analyze_functions ctx f aexp, typ) - | AE_assign (id, typ, aexp) -> AE_assign (id, typ, analyze_functions ctx f aexp) - - | AE_write_ref (id, typ, aexp) -> AE_write_ref (id, typ, analyze_functions ctx f aexp) + | AE_assign (alexp, aexp) -> AE_assign (alexp, analyze_functions ctx f aexp) | AE_short_circuit (op, aval, aexp) -> AE_short_circuit (op, aval, analyze_functions ctx f aexp) |