module Main where

import qualified Properties
import qualified Units

main = do
  Properties.main
  Units.main