From 21a114e269166ac0792cfa5fb78327a9064907dd Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 5 May 2015 15:56:38 +0200
Subject: [PATCH] [mc] Fix typo

---
 src/mc/mc_dwarf.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mc/mc_dwarf.cpp b/src/mc/mc_dwarf.cpp
index 1133efac84..ea37410631 100644
--- a/src/mc/mc_dwarf.cpp
+++ b/src/mc/mc_dwarf.cpp
@@ -678,7 +678,7 @@ static dw_type_t MC_dwarf_die_to_type(mc_object_info_t info, Dwarf_Die * die,
 
   type->dw_type_id = MC_dwarf_at_type(die);
 
-  // Some compiler do not emit DW_AT_byte_size for pointer_type,
+  // Some compilers do not emit DW_AT_byte_size for pointer_type,
   // so we fill this. We currently assume that the model-checked process is in
   // the same architecture..
   if (type->type == DW_TAG_pointer_type)
-- 
2.20.1