package gov.nasa.jpf.vm;

import gov.nasa.jpf.annotation.MJI;

public class JPF_java_lang_StrictMath extends NativePeer {
	@MJI
	public double sin__D__D(MJIEnv env, int clsObjRef, double a) {
		return StrictMath.sin(a);
	}
}