/*
  Warnings:

  - Made the column `countryOfOrigin` on table `user` required. This step will fail if there are existing NULL values in that column.
  - Made the column `semester` on table `user` required. This step will fail if there are existing NULL values in that column.
  - Made the column `university` on table `user` required. This step will fail if there are existing NULL values in that column.

*/
-- AlterTable
ALTER TABLE "user" ALTER COLUMN "countryOfOrigin" SET NOT NULL,
ALTER COLUMN "semester" SET NOT NULL,
ALTER COLUMN "university" SET NOT NULL;