commit f72c2c12a06fdfada40f8a42fac44514c2d9c181
author florian <florian@8f6e269a-dfd6-0310-a8e1-e2731360e62c> Fri Sep 05 21:52:29 2014 +0000
committer florian <florian@8f6e269a-dfd6-0310-a8e1-e2731360e62c> Fri Sep 05 21:52:29 2014 +0000
tree e6ed10b82b2cb110e8e7e36baa7caf49e7e291b9
parent 7842cafd3abae5b7ceeaf783f1d4986fe6a7234c

Use const instead of a comment.


git-svn-id: svn://svn.valgrind.org/vex/trunk@2946 8f6e269a-dfd6-0310-a8e1-e2731360e62c

priv/main_main.c

diff --git a/priv/main_main.c b/priv/main_main.c
index 21889e3..0322a34 100644
--- a/priv/main_main.c
+++ b/priv/main_main.c
@@ -116,7 +116,7 @@
    /* Are we supporting valgrind checking? */
    Bool valgrind_support,
    /* Control ... */
-   /*READONLY*/VexControl* vcon
+   const VexControl* vcon
 )
 {
    /* First off, do enough minimal setup so that the following