Silence ARI warning about floatformat_to_double

[deliverable/binutils-gdb.git] / gdb / record-full.h

diff --git a/gdb/record-full.h b/gdb/record-full.h
index 728bf59958bf87dc55fe2e0cc3c424a53fe4fa7d..d1eff9760e23a1403853abdf2f5881890e64c8bd 100644 (file)
--- a/gdb/record-full.h
+++ b/gdb/record-full.h
@@ -1,6 +1,6 @@
 /* Process record and replay target for GDB, the GNU debugger.
 
-   Copyright (C) 2013-2017 Free Software Foundation, Inc.
+   Copyright (C) 2013-2019 Free Software Foundation, Inc.
 
    This file is part of GDB.
 
@@ -20,7 +20,7 @@
 #ifndef RECORD_FULL_H
 #define RECORD_FULL_H
 
-extern int record_full_memory_query;
+extern bool record_full_memory_query;
 
 extern int record_full_arch_list_add_reg (struct regcache *regcache, int num);
 extern int record_full_arch_list_add_mem (CORE_ADDR addr, int len);