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

File:

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

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

@@ -6 +6 @@
 } stack;
 
+stack new_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();
 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 );