From 54a51c36ed05077c970cff5520ffba8bd97d69ca Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Sun, 11 Aug 2019 17:15:46 +0200
Subject: [PATCH] inp_get_elem_ident(): enable VDMOS devices as identifier m

---
 src/frontend/inpcom.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/frontend/inpcom.c b/src/frontend/inpcom.c
index 33d09c823..4078b8052 100644
--- a/src/frontend/inpcom.c
+++ b/src/frontend/inpcom.c
@@ -8114,6 +8114,8 @@ static char inp_get_elem_ident(char *type)
         return 'o';
     else if (cieq(type, "urc"))
         return 'u';
+    else if (ciprefix("vdmos", type))
+        return 'm';
     /* xspice code models do not have unique type names */
     else
         return 'a';