diff options
Diffstat (limited to 'src/Util/ListUtil.v')
-rw-r--r-- | src/Util/ListUtil.v | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Util/ListUtil.v b/src/Util/ListUtil.v index 4f544d2c8..749b1b09f 100644 --- a/src/Util/ListUtil.v +++ b/src/Util/ListUtil.v @@ -211,8 +211,8 @@ Hint Rewrite <- @firstn_cons @firstn_app @List.firstn_firstn : pull_firstn. Hint Rewrite @firstn_all2 @removelast_firstn @firstn_removelast using omega : push_firstn. Hint Rewrite @firstn_all2 @removelast_firstn @firstn_removelast using omega : simpl_firstn. -Local Arguments value / . -Local Arguments error / . +Local Arguments value / _ _. +Local Arguments error / _. Definition sum_firstn l n := fold_right Z.add 0%Z (firstn n l). |