// Copyright (C) 2013 by Yan Huang <yhuang@cs.umd.edu>
// 					 and Xiao Shaun Wang <wangxiao@cs.umd.edu>

package com.oblivm.backend.flexsc;

public enum Party {
	Alice, Bob;
}