diff options
Diffstat (limited to 'contrib/funind')
| -rw-r--r-- | contrib/funind/indfun.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/funind/indfun.ml b/contrib/funind/indfun.ml index 027aae7a79..46e33360cf 100644 --- a/contrib/funind/indfun.ml +++ b/contrib/funind/indfun.ml @@ -613,6 +613,7 @@ let rec add_args id new_args b = | CCast(loc,b1,CastCoerce) -> CCast(loc,add_args id new_args b1,CastCoerce) | CNotation _ -> anomaly "add_args : CNotation" + | CGeneralization _ -> anomaly "add_args : CGeneralization" | CPrim _ -> b | CDelimiters _ -> anomaly "add_args : CDelimiters" | CDynamic _ -> anomaly "add_args : CDynamic" |