2 files changed, 1 insertions, 14 deletions
diff --git a/src/Parser/Expr.hs b/src/Parser/Expr.hs
index 1f2382a..d609e6c 100644
--- a/src/Parser/Expr.hs
+++ b/src/Parser/Expr.hs
@@ -1,6 +1,4 @@
 module Parser.Expr (
-    procName,
-
     varName,
     newVarName,
     addVarName,
@@ -29,15 +27,8 @@ import Text.Megaparsec.Char
 import qualified Text.Megaparsec.Char.Lexer as L
 
 import Parser.Core
-import Process (ProcName(..))
 import Test
 
-procName :: TestParser ProcName
-procName = label "process name" $ lexeme $ do
-    c <- lowerChar
-    cs <- takeWhileP Nothing (\x -> isAlphaNum x || x == '_' || x == '-')
-    return $ ProcName $ TL.toStrict (c `TL.cons` cs)
-
 identifier :: TestParser Text
 identifier = do
     lexeme $ TL.toStrict <$> takeWhile1P Nothing (\x -> isAlphaNum x || x == '_')
diff --git a/src/Parser/Statement.hs b/src/Parser/Statement.hs
index 6630fac..e58779b 100644
--- a/src/Parser/Statement.hs
+++ b/src/Parser/Statement.hs
@@ -19,7 +19,7 @@ import qualified Text.Megaparsec.Char.Lexer as L
 import Network (Network, Node)
 import Parser.Core
 import Parser.Expr
-import Process (Process, ProcName(..))
+import Process (Process)
 import Test
 import Util
 
@@ -91,10 +91,6 @@ instance ParamType SourceLine where
     parseParam _ = mzero
     showParamType _ = "<source line>"
 
-instance ParamType ProcName where
-    parseParam _ = procName
-    showParamType _ = "<proc>"
-
 instance ExprType a => ParamType (TypedVarName a) where
     parseParam _ = newVarName
     showParamType _ = "<variable>"