From ace7c87001210242ad8c49b21e1f7b21fdae473c Mon Sep 17 00:00:00 2001 From: Son Ho Date: Wed, 22 Nov 2023 09:03:49 +0100 Subject: [PATCH] Fix a minor issue --- charon-ml/src/NameMatcher.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/charon-ml/src/NameMatcher.ml b/charon-ml/src/NameMatcher.ml index 83a38137..2a42b998 100644 --- a/charon-ml/src/NameMatcher.ml +++ b/charon-ml/src/NameMatcher.ml @@ -410,9 +410,7 @@ and path_elem_with_generic_args_to_pattern (ctx : ctx) (c : to_pat_config) match generics with | None -> PIdent (s, []) | Some args -> PIdent (s, args)) - | PeImpl impl -> - assert (generics = None); - impl_elem_to_pattern ctx c impl + | PeImpl impl -> impl_elem_to_pattern ctx c impl and impl_elem_to_pattern (ctx : ctx) (c : to_pat_config) (impl : T.impl_elem) : pattern_elem =