Changes in doc/generic_types/evaluation/c-stack.h [87c5f40:d919f47]

File:

• doc/generic_types/evaluation/c-stack.h (modified) (1 diff)

doc/generic_types/evaluation/c-stack.h

@@ -9 +9 @@
 struct stack new_stack();
 
-void copy_stack(struct stack* dst, const struct stack* src, void* (*copy)(const void*));
+void copy_stack(struct stack* dst, struct stack* src, void* (*copy)(void*));
 
-void clear_stack(struct stack* s, void (*free_el)(void*));
+void clear_stack(struct stack* s);
 
 _Bool stack_empty(const struct stack* s);