Rename fletch -> dartino

src/vm/debug_info.h

Index: src/vm/debug_info.h
diff --git a/src/vm/debug_info.h b/src/vm/debug_info.h
index ff5e84be0442d8265f808a7f2bc3a47bf0fdd81d..f914a4de957c562e721ab5adc20cff843fa1e743 100644
--- a/src/vm/debug_info.h
+++ b/src/vm/debug_info.h
@@ -5,14 +5,14 @@
 #ifndef SRC_VM_DEBUG_INFO_H_
 #define SRC_VM_DEBUG_INFO_H_
 
-#ifndef FLETCH_ENABLE_LIVE_CODING
+#ifndef DARTINO_ENABLE_LIVE_CODING
 #include "src/vm/debug_info_no_live_coding.h"
-#else  // FLETCH_ENABLE_LIVE_CODING
+#else  // DARTINO_ENABLE_LIVE_CODING
 
 #include "src/vm/hash_map.h"
 #include "src/vm/object.h"
 
-namespace fletch {
+namespace dartino {
 
 class Breakpoint {
  public:
@@ -102,8 +102,8 @@ class DebugInfo {
   int next_breakpoint_id_;
 };
 
-}  // namespace fletch
+}  // namespace dartino
 
-#endif  // FLETCH_ENABLE_LIVE_CODING
+#endif  // DARTINO_ENABLE_LIVE_CODING
 
 #endif  // SRC_VM_DEBUG_INFO_H_