Changes in doc/papers/general/evaluation/c-stack.h [ac4dad2:4c80a75]

File:

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

doc/papers/general/evaluation/c-stack.h

@@ -6 +6 @@
 } stack;
 
+void copy_stack(stack * dst, const stack * src, void * (* copy)(const void *));
+void clear_stack(stack * s, void (*free_el)(void *));
 stack new_stack();
-void copy_stack(stack * dst, const stack * src, void * (* copy)(const void *));
 stack * assign_stack( stack * dst, const stack * src, 
         void * (* copy_el)(const void *), void (* free_el)(void *));
-void clear_stack(stack * s, void (*free_el)(void *));
 
 _Bool stack_empty( const stack * s );