X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fcontrol%2Fcontrol-stack.h;h=ad373ea4cf491b0ee1fd886fe9b7074febfc2d85;hb=3816248a008a4af75aac6319d0c9929cb7ff679e;hp=87ef4bee3230cca89b9ea0a728b9bd984d8e0cf4;hpb=dcf9b154cbcaa35c3d8459a201b77eec8bcb30bd;p=pspp

diff --git a/src/language/control/control-stack.h b/src/language/control/control-stack.h
index 87ef4bee32..ad373ea4cf 100644
--- a/src/language/control/control-stack.h
+++ b/src/language/control/control-stack.h
@@ -30,9 +30,9 @@ struct ctl_class
   };
 
 void ctl_stack_clear (void);
-void ctl_stack_push (struct ctl_class *, void *private);
-void *ctl_stack_top (struct ctl_class *);
-void *ctl_stack_search (struct ctl_class *);
+void ctl_stack_push (const struct ctl_class *, void *private);
+void *ctl_stack_top (const struct ctl_class *);
+void *ctl_stack_search (const struct ctl_class *);
 void ctl_stack_pop (void *);
 bool ctl_stack_is_empty (void);