Update replgraphspec.scala