why is this comment an error?

[bennn]

#lang forge/temporal

// #lang froglet

abstract sig Player {}
one sig X , O extends Player {}
sig Board { board : pfunc Int -> Int -> Player }
pred wellformed {
  all b : Board | all row , col : Int | {
    ( row < 0 or row > 2 or col < 0 or col > 2) implies no b . board [ row ][ col ]
  }
}

error message:

dynamic-require: name is not provided
  name: 'read
  module: #<resolved-module-path:(submod "/Users/ben/code/racket/fork/extra-pkgs/forge/froglet/main.rkt" reader)>
  context...:
   /Users/ben/code/racket/fork/extra-pkgs/forge/forge/logging/2023/main.rkt:63:0: setup
   /Users/ben/code/racket/fork/extra-pkgs/forge/forge/temporal/lang/reader.rkt:17:0: read-syntax

[tnelson]

Can this issue be closed given #270 is merged?