No longer jiggle sticky mines if using portable portal device This fixes the sticky mine sound playing when using portal gun while any sticky mine is placed on ground. We decided that placed sticky mines can't be teleported.

     1

{-# LANGUAGE ImpredicativeTypes #-}

     2

module Main where

     3

     4

import qualified MODULE as M

     5

     6

main = undefined $ M.FUNCTION PARAMETERS