value: New function value_clone_pool().

[pspp] / src / data / value.h

diff --git a/src/data/value.h b/src/data/value.h
index 61df087754b1e78327f2fbb02453ddf8ab8f9e9f..9205bc1a031feec0bee4d6858ca5af3b2e3d0b2e 100644 (file)
--- a/src/data/value.h
+++ b/src/data/value.h
@@ -81,6 +81,8 @@ static inline void value_swap (union value *, union value *);
 
 struct pool;
 void value_init_pool (struct pool *, union value *, int width);
+void value_clone_pool (struct pool *, union value *, const union value *,
+                       int width);
 void value_resize_pool (struct pool *, union value *,
                         int old_width, int new_width);
 \f