###############################################################################
# Coq Unit Testing project                                                    #
# Copyright 2017 Catherine Dubois and Alain Giorgetti                         #
# Samovar - FEMTO-ST institute                                                #
###############################################################################
#      This file is distributed under the terms of the                        #
#       GNU Lesser General Public License Version 2.1                         #
###############################################################################

# File: examples/rom/prolog/Makefile

.PHONY: test

test:
	swipl -s bet_rom.pl
