/* Ada Ravenscar thread support.
- Copyright 2004, 2010 Free Software Foundation, Inc.
+ Copyright 2004, 2010, 2011 Free Software Foundation, Inc.
This file is part of GDB.
to_prepare_to_store and to_fetch_registers when the inferior_ptid
is different from the running thread. In that case, the registers
are saved in a architecture-specific location. */
-/* FIXME: only one architecture can be registered for now. See
+/* FIXME: only one architecture can be registered for now. See
implementation. */
extern void ravenscar_register_arch_ops (struct ravenscar_arch_ops *ops);