Remove a repeated typedef.
Remove a repeated typedef.

nicolacavallini/dealii,nicolacavallini/dealii,EGP-CIG-REU/dealii,pesser/dealii,andreamola/dealii,JaeryunYim/dealii,shakirbsm/dealii,adamkosik/dealii,ESeNonFossiIo/dealii,sairajat/dealii,gpitton/dealii,spco/dealii,sairajat/dealii,andreamola/dealii,naliboff/dealii,shakirbsm/dealii,angelrca/dealii,nicolacavallini/dealii,Arezou-gh/dealii,angelrca/dealii,sairajat/dealii,EGP-CIG-REU/dealii,naliboff/dealii,kalj/dealii,shakirbsm/dealii,angelrca/dealii,angelrca/dealii,danshapero/dealii,jperryhouts/dealii,spco/dealii,nicolacavallini/dealii,ESeNonFossiIo/dealii,angelrca/dealii,sairajat/dealii,danshapero/dealii,EGP-CIG-REU/dealii,sairajat/dealii,ibkim11/dealii,maieneuro/dealii,spco/dealii,gpitton/dealii,spco/dealii,danshapero/dealii,kalj/dealii,Arezou-gh/dealii,adamkosik/dealii,Arezou-gh/dealii,danshapero/dealii,angelrca/dealii,maieneuro/dealii,gpitton/dealii,jperryhouts/dealii,adamkosik/dealii,adamkosik/dealii,shakirbsm/dealii,naliboff/dealii,Arezou-gh/dealii,andreamola/dealii,naliboff/dealii,angelrca/dealii,naliboff/dealii,adamkosik/dealii,kalj/dealii,JaeryunYim/dealii,JaeryunYim/dealii,EGP-CIG-REU/dealii,pesser/dealii,ESeNonFossiIo/dealii,ibkim11/dealii,EGP-CIG-REU/dealii,maieneuro/dealii,ibkim11/dealii,jperryhouts/dealii,gpitton/dealii,shakirbsm/dealii,danshapero/dealii,pesser/dealii,pesser/dealii,adamkosik/dealii,maieneuro/dealii,spco/dealii,ibkim11/dealii,JaeryunYim/dealii,maieneuro/dealii,gpitton/dealii,maieneuro/dealii,nicolacavallini/dealii,jperryhouts/dealii,sairajat/dealii,nicolacavallini/dealii,jperryhouts/dealii,gpitton/dealii,andreamola/dealii,jperryhouts/dealii,gpitton/dealii,pesser/dealii,JaeryunYim/dealii,Arezou-gh/dealii,spco/dealii,kalj/dealii,jperryhouts/dealii,andreamola/dealii,ESeNonFossiIo/dealii,ESeNonFossiIo/dealii,pesser/dealii,JaeryunYim/dealii,spco/dealii,ibkim11/dealii,maieneuro/dealii,danshapero/dealii,kalj/dealii,ibkim11/dealii,andreamola/dealii,adamkosik/dealii,JaeryunYim/dealii,naliboff/dealii,kalj/dealii,naliboff/dealii,nicolacavallini/dealii,EGP-CIG-REU/dealii,ESeNonFossiIo/dealii,Arezou-gh/dealii,EGP-CIG-REU/dealii,shakirbsm/dealii,sairajat/dealii,Arezou-gh/dealii,ibkim11/dealii,kalj/dealii,andreamola/dealii,pesser/dealii,shakirbsm/dealii,ESeNonFossiIo/dealii,danshapero/dealii