>>471230
公共施設での喫煙は消防法ではなく、せいぜい禁煙条例違反くらいでしょうね。
まあ、こういった迷惑行為を厳しく取り締まりたいのはわかりますが、施設管理者や運営に通報するのがベストですよ。