diff options
Diffstat (limited to 'src/c_backend.ml')
| -rw-r--r-- | src/c_backend.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/c_backend.ml b/src/c_backend.ml index ce891e3f..c1f5ddb9 100644 --- a/src/c_backend.ml +++ b/src/c_backend.ml @@ -78,7 +78,7 @@ type aexp = and aval = | AV_lit of lit * typ - | AV_id of id * Type_check.lvar + | AV_id of id * lvar | AV_tuple of aval list | AV_C_fragment of string * typ |