// +build tools

package hotstuff

import (
	_ "github.com/relab/gorums"
	_ "google.golang.org/protobuf/cmd/protoc-gen-go"
)

// +build tools

package examples

import (
	_ "github.com/relab/gorums"
	_ "google.golang.org/protobuf/cmd/protoc-gen-go"
)

Fix package name in examples
Fix package name in examples
