Merge pull request #949 from hacspec/fix-issue-id-96

fix(engine): change issue id
hacspec · Oct 2, 2024 · f466ae6 · f466ae6
2 parents d6535c5 + 4019667
commit f466ae6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/engine/lib/phases/phase_cf_into_monads.ml b/engine/lib/phases/phase_cf_into_monads.ml
@@ -209,10 +209,10 @@ struct
  let then_ = KnownMonads.lift "If:then-branch" then' mthen.monad m in
  { e = If { cond; then_; else_ }; span; typ = then_.typ }
  | Continue _ ->
- Error.unimplemented ~issue_id:96
+ Error.unimplemented ~issue_id:15
  ~details:"TODO: Monad for loop-related control flow" span
  | Break _ ->
- Error.unimplemented ~issue_id:96
+ Error.unimplemented ~issue_id:15
  ~details:"TODO: Monad for loop-related control flow" span
  | QuestionMark { e; _ } -> dexpr e
  | Return { e; _ } ->