Skip to content

Commit

Permalink
Fix typo in header guard
Browse files Browse the repository at this point in the history
  • Loading branch information
Bo-Yuan-Huang committed Aug 24, 2020
1 parent 6683828 commit f6fdfa0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion include/ilang/ila-mngr/u_unroller_smt.h
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
/// ILA unrollers with SmtShim support.

#ifndef ILANG_ILA_MNGR_U_UNROLLER_SMT_H__
#define ILANG_ILA_MNRG_U_UNROLLER_SMT_H__
#define ILANG_ILA_MNGR_U_UNROLLER_SMT_H__

#include <map>
#include <string>
Expand Down

0 comments on commit f6fdfa0

Please sign in to comment.