X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fvalue.h;h=9205bc1a031feec0bee4d6858ca5af3b2e3d0b2e;hb=178a771cd0c7cf2f4d6d08ac4b8431656aa29274;hp=61df087754b1e78327f2fbb02453ddf8ab8f9e9f;hpb=4fcdb5b5c34de891adca5256e9409ac7234ab19d;p=pspp-builds.git

diff --git a/src/data/value.h b/src/data/value.h
index 61df0877..9205bc1a 100644
--- 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);