diff options
Diffstat (limited to 'src/comp/driver')
| -rw-r--r-- | src/comp/driver/rustc.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/comp/driver/rustc.rs b/src/comp/driver/rustc.rs index 657c098d..a1fdb387 100644 --- a/src/comp/driver/rustc.rs +++ b/src/comp/driver/rustc.rs @@ -8,7 +8,7 @@ import middle.trans; import middle.resolve; import middle.ty; import middle.typeck; -// import middle.typestate_check; +import middle.typestate_check; import util.common; import std.map.mk_hashmap; |