From c11273bc44ff7ea63302572167721f3dcf71727d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Wed, 6 Jan 2016 12:45:48 +0000
Subject: [PATCH] gc_trace

---
 misc/ATOMS | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/misc/ATOMS b/misc/ATOMS
index 40c291145..9904f2e8d 100644
--- a/misc/ATOMS
+++ b/misc/ATOMS
@@ -410,8 +410,10 @@ A	VarBranches		N	"var_branches"
 A	VariableNames		N	"variable_names"
 A	HiddenVar		F	"$V"
 A	Variable		N	"variable"
+A   Verbose         N   "verbose"
 A	VerboseFileSearch	N	"verbose_file_search"
 A	VersionNumber		F	"$version_name"
+A   VeryVerbose         N   "very_verbose"
 A	WakeUpGoal		F	"$wake_up_goal"
 A	Warning			N	"warning"
 A	When			F	"$when"