summarylogtreecommitdiffstats
path: root/tlc-dist-fp
blob: 6fce23995fb3141eafb4d682df94e5ffee0c3b07 (plain)
1
2
#!/bin/sh
exec "$(dirname "$0")"/tla-tools tlc2.tool.distributed.fp.DistributedFPSet "$@"