From 5e761f7fd3a74c0df7c92637e56adba15ff5ebe0 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Sun, 17 Sep 2017 07:55:36 +0100
Subject: [PATCH] debugging

---
 H/ATOMS | 1 +
 1 file changed, 1 insertion(+)

diff --git a/H/ATOMS b/H/ATOMS
index 299805173..f3c33166b 100644
--- a/H/ATOMS
+++ b/H/ATOMS
@@ -323,6 +323,7 @@ A	Reconsult		N	"reconsult"
 A	RecordedP		F	"$recordep"
 A	RecordedWithKey		F	"$recorded_with_key"
 A	RedefineWarnings	N	"redefine_warnings"
+A	Redo      		F	"redo"
 A	RedoFreeze		F	"$redo_freeze"
 A	RefoundVar		F	"$I_FOUND_THE_VARIABLE_AGAIN"
 A	RelativeTo		F	"relative_to"