package org.batfish.vendor.check_point_management;

/** An object of type {@link Global} whose name is unrecognized or otherwise unhandled. */
public final class UnhandledGlobal extends Global {
  UnhandledGlobal(String name, Uid uid) {
    super(name, uid);
  }
}
