Typo in comment

GaloisInc · Aug 23, 2024 · bca9f81 · bca9f81
1 parent 5ad42f8
commit bca9f81
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/crucible-mir/src/Mir/Trans.hs b/crucible-mir/src/Mir/Trans.hs
@@ -372,7 +372,7 @@ varPlace (M.Var vname _ vty _) = do
     vi <- typedVarInfo vname tpr
     r <- case vi of
         VarReference reg -> G.readReg reg
-        -- TODO: these cases won't be needed once immutabe ref support is done
+        -- TODO: these cases won't be needed once immutable ref support is done
         -- - make them report an error instead
         VarRegister reg -> do
             x <- G.readReg reg