mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-15 23:35:26 +00:00
Code Activity

format

Browse source
This commit is contained in:
Chuyue Sun 2024-07-18 08:57:11 +00:00
parent 47e957d61b
commit 8787d0a501
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/util/dlist.h
View file

@ -255,4 +255,4 @@ template < typename T
dll_iterator<T> end(T const& list) dll_iterator<T> end(T const& list)
{ {
return dll_iterator<T>::mk_end(&list); return dll_iterator<T>::mk_end(&list);
} }