diff options
Diffstat (limited to 'src/AbstractInterpretation.v')
| -rw-r--r-- | src/AbstractInterpretation.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/AbstractInterpretation.v b/src/AbstractInterpretation.v index ca0cb68bd..e74582ae6 100644 --- a/src/AbstractInterpretation.v +++ b/src/AbstractInterpretation.v @@ -576,6 +576,7 @@ Module Compilers. => fold_right f v ls | None => ZRange.type.base.option.None end + | ident.eager_List_nth_default _ | ident.List_nth_default _ => fun d ls n => match ls, n with |