#!/bin/bash

exec /usr/lib/acl2-2.9/saved_acl2 -dir /usr/share/acl2-2.9
