# HG changeset patch
# User wenzelm
# Date 1556449396 -7200
# Node ID 230188a56a9ea01fbe7f03aba8a72574ee67c791
# Parent  cd2af90360eeddc1c5812dfff0c63983c95079ad
completion for \<^const>, although it often requires an extra argument;

diff -r cd2af90360ee -r 230188a56a9e etc/symbols
--- a/etc/symbols	Sun Apr 28 12:34:56 2019 +0200
+++ b/etc/symbols	Sun Apr 28 13:03:16 2019 +0200
@@ -394,6 +394,7 @@
 \<^class>               argument: cartouche
 \<^class_syntax>        argument: cartouche
 \<^command_keyword>     argument: cartouche
+\<^const>               argument: cartouche
 \<^const_abbrev>        argument: cartouche
 \<^const_name>          argument: cartouche
 \<^const_syntax>        argument: cartouche