Mark Wright 2015-01-05 14:46:57 +11:00
parent c80c9ac9da
commit 5ea3856bb0

View file

@ -1,4 +1,4 @@
{-# LANGUAGE PatternGuards, OverloadedStrings #-}
{-# LANGUAGE PatternGuards, OverloadedStrings, FlexibleContexts #-}
{-
Copyright (C) 2008-2014 Andrea Rossato <andrea.rossato@ing.unitn.it>
and John MacFarlane.